ML-1990-04: Unary Interpretability Logic

ML-1990-04: de Rijke, Maarten (1990) Unary Interpretability Logic. [Report]

Preview

Text (Full Text) ML-1990-04.text.pdf Download (2MB) | Preview

Item Type:	Report
Report Nr:	ML-1990-04
Series Name:	Mathematical Logic and Foundations (ML)
Year:	1990
Date Deposited:	12 Oct 2016 14:40
Last Modified:	12 Oct 2016 14:40
URI:	https://eprints.illc.uva.nl/id/eprint/1295

Actions (login required)

View Item