Pages that link to "Item:Q5768089"
From MaRDI portal
The following pages link to Logic based on inclusion and abstraction (Q5768089):
Displaying 7 items.
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- ON THE SYNTAX OF LOGIC AND SET THEORY (Q3066779) (← links)
- Inception of Quine's ontology (Q3160444) (← links)
- A Bit of History Related to Logic Based on Equality (Q3454805) (← links)
- Henkin on Completeness (Q3454811) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- What is Neologicism? (Q5479569) (← links)
