scientific article; zbMATH DE number 3052787
From MaRDI portal
Publication:5792034
zbMath0034.29002MaRDI QIDQ5792034
Wilhelm Ackermann, David Hilbert
Publication date: 1949
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Theory of an interval algebra and its application to numerical analysis ⋮ 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 ⋮ On intermediate propositional logics ⋮ 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 ⋮ From Hilbert's program to a logic tool box ⋮ Quantification and the empty domain
This page was built for publication:
