Revision history for entry Artemov, Sergei N. (2001). "Explicit provability and constructive semantics" [ARTEPA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2012-10-15T09:07:36update
2011-02-21T23:29:07update
2010-01-18T10:09:16update




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 Sun May 19 07:57:15 2013 - Hash code: 2RXebGpUSqeCDwwHhQn4Yg