The following pages link to (Q5585364):
Displaying 19 items.
- On a synonymy relation for extensional first order theories. I: A notion of synonymy (Q594088) (← links)
- Equational type logic (Q752689) (← links)
- Per una teoria delle classi comunque grandi (Q1149436) (← links)
- Map theory (Q1193653) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- A logical framework for large file information handling (Q1213306) (← links)
- Adverbs and events (Q1217695) (← links)
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471) (← links)
- A model for science kinematics (Q1319361) (← links)
- Covers for monoids. (Q1421817) (← links)
- About the axiomatizations of fuzzy set theory (Q2277255) (← links)
- Combinatorial computation of combinatorial formulas for knot invariants (Q2841123) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Notes on the theory of variable binding term operators (Q3657974) (← links)
- Nonreflexive, well founded sets and natural numbers (Q3903000) (← links)
- On the possibility of a Σ<sub>2</sub><sup>1</sup>well-ordering of the Baire space (Q4401446) (← links)
- The Versatility of Universality in<i>Principia Mathematica</i> (Q4914180) (← links)
- Big mathematical systems (Q5953288) (← links)
- Towards proof-theoretic formulation of the general theory of term-forming operators (Q6541148) (← links)
