The following pages link to (Q4692751):
Displayed 13 items.
- Physical-based models of internal migration (Q757294) (← links)
- Mathematical pluralism: The case of smooth infinitesimal analysis (Q853816) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- Incompatible empirically equivalent theories: a structural explication. (Q1578764) (← links)
- The axiomatization of linear algebra: 1875-1940 (Q1899010) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- `Third' quantization of vacuum Einstein gravity and free Yang-Mills theories (Q2643693) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← links)
- Differential Calculus and Nilpotent Real Numbers (Q4650299) (← links)
- (Q4668867) (← links)
- The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (Q4836049) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)