Grundzüge der Systemenkalküls I
From MaRDI portal
Publication:5760002
DOI10.4064/fm-25-1-503-526zbMath0012.38501OpenAlexW974833840MaRDI QIDQ5760002
Publication date: 1935
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/212807
Related Items (17)
The adequacy of the theories of deductive systems with respect to sentential calculi ⋮ Leon Henkin the Reviewer ⋮ Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ Sentence, proposition and identity ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Independent Recursive Axiomatizability in Arithmetic ⋮ Unnamed Item ⋮ Circularity or lacunae in Tarski's truth-schemata ⋮ Four studies in metamathematics ⋮ Matrix approach in methodology of sentential calculi ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Quelques classes de problèmes extrémaux. II ⋮ Key notions of Tarski's methodology of deductive systems ⋮ The algebraic treatment of the methodology of elementary deductive systems ⋮ Unifying threads in Alfred Tarski's work ⋮ A portrait of Alfred Tarski ⋮ Unnamed Item
This page was built for publication: Grundzüge der Systemenkalküls I
