Normal view MARC view ISBD view

Proof theory : the first step into impredicativity

Pohlers, Wolfram

Proof theory : the first step into impredicativity - - Berlin Springer 2009 - ix,370 p. 23.5 cm - Universitext .

ISBN: 978-3-540-69318-5

Subjects--Topical Terms:

Mathematics
Proof theory , Logic, Symbolic and mathematical

Universal Decimal Class. No.: 517.1Poh

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)