Revision history for entry David, René; Nour, Karim (2003). "A short proof of the strong normalization of classical natural deduction with disjunction" [DAVASP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2012-03-13T19:07:59update
2012-03-13T19:07:59update
2012-03-13T19:07:59update
2010-09-23T17:30:06updateSystem / admin update -




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

Hosted by The Institute of Philosophy, School of Advanced Study, University of London
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 Wed May 22 10:01:27 2013 - Hash code: 9yHcN02c5kCeZYKwQ36pyg