<<An>> introduction to proof theory : normalization, cut-elimination, and consistency proofs (Book, 2021) [WorldCat.org]
skip to content
<<An>> introduction to proof theory : normalization, cut-elimination, and consistency proofs Preview this item
ClosePreview this item
Checking...

<<An>> introduction to proof theory : normalization, cut-elimination, and consistency proofs

Author: Paolo Mancosu
Publisher: Oxford : Oxford University Press, 2021.
Edition/Format:   Print book : English
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Paolo Mancosu
ISBN: 9780192895936 0192895931
OCLC Number: 1283491306
Description: 432 Seiten
Responsibility: Paolo Mancosu, Sergio Galvan, Richard Zach.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.