Stephen G. Ross Reverse Mathematics 2001 Lecture Notes in Logic 21 - Taylor and Francis 2005 ISBN: 9780429064319 Source: EBOOK