zbMath0077.01501MaRDI QIDQ768373
Alonzo Church
Publication date: 1957 Published in: Journal de Mathématiques Pures et Appliquées. Neuvième Série (Search for Journal in Brave)
zbMATH Keywords
PhilosophyFoundationsMathematical Logic
Related Items