MoL-2024-14: Characterizing Formulas using Post’s Lattice

MoL-2024-14: Ganguly, Arunavo (2024) Characterizing Formulas using Post’s Lattice. [Report]

Text MoL-2024-14.text.pdf - Published Version Download (854kB)

Item Type:	Report
Report Nr:	MoL-2024-14
Series Name:	Master of Logic Thesis (MoL) Series
Year:	2024
Subjects:	Logic Mathematics
Depositing User:	Dr Marco Vervoort
Date Deposited:	22 Oct 2024 13:13
Last Modified:	22 Oct 2024 13:13
URI:	https://eprints.illc.uva.nl/id/eprint/2332

Actions (login required)

View Item