A demonstrably consistent mathematics—Part I

DOI10.2307/2268437zbMath0039.24501OpenAlexW2161274095MaRDI QIDQ5798788

Frederic B. Fitch

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268437

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (8)

Implementing Cantor’s Paradise ⋮ An extensional variety of extended basic logic ⋮ A CALCULUS FOR SELF-REFERENCE ⋮ A consistent combinatory logic with an inverse to equality ⋮ A finitary metalanguage for extended basic logic ⋮ A definition of negation in extended basic logic ⋮ Abstraction in Fitch's Basic Logic ⋮ A complete and consistent modal set theory

This page was built for publication: A demonstrably consistent mathematics—Part I