scientific article; zbMATH DE number 3253940

MaRDI QIDQ5540431zbMATH OpenFDO

Authors Wilhelm Ackermann, David Hilbert

Publication date 1967

zbMATH Keywords

mathematical logic

Cited in

(5)

• Program-substitution and admissibility of rules in algorithmic logic
• Deductive foundation and analytic propositions
• Rudolf Carnap -- the grandfather of artificial neural networks: the influence of Carnap's philosophy on Walter Pitts
• Metalogic, Schopenhauer and universal logic
• Calculational design of a regular model checker by abstract interpretation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5540431)