Pages that link to "Item:Q5792488"
From MaRDI portal
The following pages link to The Heine-Borel theorem in extended basic logic (Q5792488):
Displayed 5 items.
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- A consistent combinatory logic with an inverse to equality (Q3889022) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)
- Report on some investigations concerning the consistency of the axiom of reducibility (Q5803255) (← links)
- A finitary metalanguage for extended basic logic (Q5816110) (← links)