Cover Image

Proof theory the first step into impredicativity /

Main Author: Pohlers, Wolfram.
Other Authors: SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, [2009]
Physical Description: 1 online resource.
Series: Universitext.
Subjects: