scientific article; zbMATH DE number 3048505

zbMATH Open0031.19402MaRDI QIDQ5787744FDOQ5787744

Authors L. Kalmár

Publication date 1949

zbMATH Keywords

Philosophy and foundations

Cited in

(3)

• Predicative logic and formal arithmetic
• Kalmár's argument against the plausibility of Church's thesis
• Kalmár and Péter: Undecidability as a Consequence of Incompleteness

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 Q5787744)