A Proof of Freedom from Contradiction

DOI10.1073/pnas.21.5.275zbMath0012.24102OpenAlexW2040083714WikidataQ33741023 ScholiaQ33741023MaRDI QIDQ5759461

Alonzo Church

Publication date: 1935

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.21.5.275

zbMATH Keywords

Foundations, philosophy, logic

Related Items

Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I, Step by Recursive Step: Church's Analysis of Effective Calculability