Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
The world’s #1 eTextbook reader for students. VitalSource is the leading provider of online textbooks and course materials. More than 15 million users have used our Bookshelf platform over the past year to improve their learning experience and outcomes. With anytime, anywhere access and built-in tools like highlighters, flashcards, and study groups, it’s easy to see why so many students are going digital with Bookshelf.
Over 2.7 million
titles available from more than 1,000 publishers
customer reviews with an average rating of 9.5
Over 5 billion
digital pages viewed over the past 12 months
institutions using Bookshelf across 241 countries