Pages that link to "Item:Q3235354"

The following pages link to Unification of universes in set theory (Q3235354):

Displaying 5 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)
• Foundations of applied mathematics. I (Q6142492) (← links)