biblio. Reverse mathematics

Sur sa page personnelle Steven Simpson annonce la parution d'un volume collectif ("[September 20, 2005] Reverse Mathematics 2001 has finally appeared. It is Volume 21 in the ASL's book series Lecture Notes in Logic, X + 401 pages. You may order on-line from A. K. Peters, Ltd.") et la réédition prochaine de son classique de 1998, épuisé depuis un moment déjà ("On June 30, 2005 I submitted Subsystems of Second Order Arithmetic, Second Edition, to the Association for Symbolic Logic, for publication in their book series Perspectives in Logic. It was accepted on August 9, 2005.").
[Pour une présentation de la perspective philosophique et une introduction aux principaux résultats des "Reverse Mathematics" voir Partial Realizations of Hilbert's Program (une conférence de Simpson parue dans le JSL en 1988) et SOSOA Chapitre1 (par Simpson également, donc). Pour une discussion plus large de ces résultats et du sens à donner au programme de Hilbert (d'un auteur "extérieur" aux R.M.), voir par exemple le papier de Panu Raatikainen , Hilbert's Program Revisited[2003] (Synthese 137).]