Publication:3290716
From MaRDI portal
zbMath0105.24601MaRDI QIDQ3290716
Publication date: 1962
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
Related Items
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION, Lorenzen Between Gentzen and Schütte, Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents, Logical string rewriting, Dialogues, strategies, and intuitionistic provability, Finite games for a predicate logic without contractions, The Truth of Proof: A Hegelian Perspective on Constructivism, Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik