ML-1994-03: NNIL, A Study in Intuitionistic Propositional Logic

ML-1994-03: van Benthem, Johan and de Jongh, Dick and de Lavalette, Gerard Renardel and Visser, Albert (1994) NNIL, A Study in Intuitionistic Propositional Logic. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
ML-1994-03.text.pdf

Download (3MB) | Preview
Item Type: Report
Report Nr: ML-1994-03
Series Name: Mathematical Logic and Foundations (ML)
Year: 1994
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1349

Actions (login required)

View Item View Item