scientific article; zbMATH DE number 3048505
From MaRDI portal
Publication:5787744
zbMath0031.19402MaRDI QIDQ5787744
Publication date: 1949
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Kalmár and Péter: Undecidability as a Consequence of Incompleteness ⋮ Predicative logic and formal arithmetic ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis
This page was built for publication: