Publication:4921532
From MaRDI portal
zbMath1274.01037MaRDI QIDQ4921532
Publication date: 10 May 2013
Full work available at URL: http://hdl.handle.net/10338.dmlcz/401901
01A60: History of mathematics in the 20th century
01A55: History of mathematics in the 19th century
06-03: History of ordered structures
Related Items
The Discovery of My Completeness Proofs, Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices, On intermediate propositional logics, Relevance and paraconsistency—a new approach, The contributions of Alfred Tarski to general algebra