The Heine-Borel theorem in extended basic logic
From MaRDI portal
Publication:5792488
DOI10.2307/2268972zbMath0035.00803MaRDI QIDQ5792488
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
Related Items
Abstraction in Fitch's Basic Logic, Report on some investigations concerning the consistency of the axiom of reducibility, A finitary metalanguage for extended basic logic, Implication and analysis in classical Frege structures, A consistent combinatory logic with an inverse to equality