scientific article; zbMATH DE number 3253940
From MaRDI portal
zbMath0158.00602MaRDI QIDQ5540431
Wilhelm Ackermann, David Hilbert
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Program-substitution and admissibility of rules in algorithmic logic, Metalogic, Schopenhauer and Universal Logic, Rudolf Carnap–The Grandfather of Artificial Neural Networks: The Influence of Carnap’s Philosophy on Walter Pitts, Calculational design of a regular model checker by abstract interpretation, Deductive foundation and analytic propositions
