Pages that link to "Item:Q3235354"
From MaRDI portal
The following pages link to Unification of universes in set theory (Q3235354):
Displayed 6 items.
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- Inception of Quine's ontology (Q3160444) (← links)
- A Bit of History Related to Logic Based on Equality (Q3454805) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- A Comparison of Type Theory with Set Theory (Q6075430) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)