Types in logic and mathematics before 1940 (2002)

by Fairouz Kamareddine , Twan Laan , Rob Nederpelt
Venue:Bulletin of Symbolic Logic
Citations:11 - 6 self

Active Bibliography

Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang, a framework for computerising – unknown authors - 2007
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
Heriot-Watt University Edinburgh, Scotland – Fairouz Kamareddine - 2005
MathLang, a framework for computerising – unknown authors - 2007
MathLang, a framework for computerising – Fairouz Kamareddine - 2006
century: A journey through Frege, Russell and – Fairouz Kamareddine - 2004
From the Foundation of Mathematics to the Birth of Computation – Fairouz Kamareddine - 2011
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
MathLang: A language for Mathematics – Fairouz Kamareddine - 2004
The evolution of types and logic in the 20th century: A journey through Frege, Russell and . . . – Fairouz Kamareddine - 2004
3 A formalization of the Ramified Type Theory – Twan Laan - 1994
3 A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems – Fairouz Kamareddine, Twan Laan - 2001
Principia Mathematica anniversary symposiumSummary – Fairouz Kamareddine - 2010
Functions and Types in Logic, Language and Computation ∗ – Fairouz Kamareddine - 2003
3 Motivations for MathLang – Fairouz Kamareddine - 2005
Journal of the IGPL – Volume Number March, Dov M. Gabbay, Hans J Urgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
1 A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths – Fairouz Kamareddine, Twan Laan - 1996
19 Higher Order Logic – Daniel Leivant - 1994