Publication:5792034
From MaRDI portal
zbMath0034.29002MaRDI QIDQ5792034
Wilhelm Ackermann, David Hilbert
Publication date: 1949
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
On intermediate propositional logics, Quantification and the empty domain, Theory of an interval algebra and its application to numerical analysis, From Hilbert's program to a logic tool box, On a generalized cylindrical algebra and intuitionistic logic, A propositional calculus in which three mutually undefinable functors are used as primitive terms, A cylindrical algebra based on the Boolean ring, Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme, Begründung einer strengen Implikation