Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik
From MaRDI portal
Publication:2558215
DOI10.1007/BF01297689zbMath0255.02024MaRDI QIDQ2558215
Publication date: 1973
Published in: Manuscripta Mathematica (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/154145
Related Items (2)
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik ⋮ Theory of proofs (arithmetic and analysis)
Cites Work
This page was built for publication: Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik