Proof Theory : the First Step into Impredicativity /

Proof Theory : the First Step into Impredicativity /

Saved in:
Bibliographic Details
Author / Creator:Pohlers, Wolfram.
Imprint:Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Description:1 online resource.
Language:English
Series:Universitext
Universitext.
Subject:
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11958102
Hidden Bibliographic Details
ISBN:9783540693192
354069319X
Notes:Includes bibliographical references (p. 357-361) and index.
Other form:Print version: Pohlers, Wolfram. Proof Theory. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 9783540693185 3540693181

Similar Items