The Heine-Borel theorem in extended basic logic

DOI10.2307/2268972zbMath0035.00803OpenAlexW2038151286MaRDI QIDQ5792488

Frederic B. Fitch

Publication date: 1949

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (5)

Implication and analysis in classical Frege structures ⋮ A consistent combinatory logic with an inverse to equality ⋮ Report on some investigations concerning the consistency of the axiom of reducibility ⋮ A finitary metalanguage for extended basic logic ⋮ Abstraction in Fitch's Basic Logic

This page was built for publication: The Heine-Borel theorem in extended basic logic