Title: Reverse Mathematics 2001 (Lecture Notes in Logic) (Lecture Notes in Logic)
First published: August 26, 2005