HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
From MaRDI portal
Publication:2795296
DOI10.1017/bsl.2015.10zbMath1369.03013arXiv1504.04798MaRDI QIDQ2795296
Publication date: 18 March 2016
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1504.04798
01A60: History of mathematics in the 20th century
03B25: Decidability of theories and sets of sentences
03G25: Other algebras related to logic
03-03: History of mathematical logic and foundations
Related Items
Carnap's early metatheory: scope and limits, Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications
Cites Work