Revision history for entry Newman, M. H. A.; Turing, A. M. (1942). "A formal theorem in church's theory of types" [NEWAFT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes




Applied ethicsEpistemologyHistory of Western PhilosophyMeta-ethicsMetaphysicsNormative ethics
Philosophy of biologyPhilosophy of languagePhilosophy of mindPhilosophy of religionScience Logic and MathematicsMore ...
Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

Institute of Philosophy
School of Advanced Study
University of London 		Centre for Consciousness
Research School of Social Sciences
Australian National University
This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Mon May 20 16:48:25 2013 - Hash code: 3BqgW4skNIWT8eO5LXFFGA