Sold Out
Book Categories |
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionElements of intuitionism
X
This Item is in Your InventoryElements of intuitionism
X
You must be logged in to review the productsX
X
X
Add Elements of intuitionism, , Elements of intuitionism to the inventory that you are selling on WonderClubX
X
Add Elements of intuitionism, , Elements of intuitionism to your collection on WonderClub |