The following pages link to (Q5590039):
Displaying 17 items.
- More infinity for a better finitism (Q636387) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Some unpublished papers of Jean van Heijenoort (Q1106823) (← links)
- Extending the type checker of Standard ML by polymorphic recursion (Q1275627) (← links)
- Complete sets of unifiers and matchers in equational theories (Q1820760) (← links)
- Jean van Heijenoort and the Gödel editorial project (Q1942089) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Historical development of modern logic (Q1942092) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- In defense of logical universalism: taking issue with Jean van Heijenoort (Q1942101) (← links)
- Mathematics and Reality (Q3094972) (← links)
- Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium) (Q3313843) (← links)
- 2008 Annual Meeting of the Association for Symbolic Logic (Q3616439) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- False lemmas in Herbrand (Q5331469) (← links)
- A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory (Q5350338) (← links)
