First Page | Document Content | |
---|---|---|
![]() Date: 2007-02-19 14:19:11Mathematical logic Philosophical logic Philosophy of language Veracity Philosophers of mathematics Tractatus Logico-Philosophicus Principia Mathematica Proposition Ludwig Wittgenstein Philosophy Logic Analytic philosophy | Add to Reading List |
![]() | Uber lormal unentscheidbare S~tze der Principia Mathematica und verwandter Systeme I~). Von Kur~ GSdel in Wien. it Die Entwicklung der Mathematik in der Richtung zu grS~ererDocID: 1tvWg - View Document |
![]() | frobenioidspdfDocID: 1qLne - View Document |
![]() | Notation - Book of AbstractsDocID: 1qeIU - View Document |
![]() | Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford UniversityDocID: 1pIZx - View Document |
![]() | Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection oDocID: 1pCMW - View Document |