Proof Theory The First Step into Impredicativity

Proof Theory The First Step into Impredicativity / by Wolfram Pohlers.

This book verifies with compelling evidence the author’s intent to "write a book on proof theory that needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof theory as far as possible, the book starts at an elementary level and displays the connections betwe...

Full description

Saved in:
Bibliographic Details
Main Author: Pohlers, Wolfram (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Universitext,
Springer eBook Collection.
Subjects:
Mathematical logic.
Operations research.
Management science.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items