scientific article
From MaRDI portal
Publication:3290716
zbMath0105.24601MaRDI QIDQ3290716
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ The Truth of Proof: A Hegelian Perspective on Constructivism ⋮ Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik ⋮ Logical string rewriting ⋮ PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION ⋮ Dialogues, strategies, and intuitionistic provability ⋮ Finite games for a predicate logic without contractions ⋮ Lorenzen Between Gentzen and Schütte ⋮ Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents
This page was built for publication:
