An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs

Name: An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
Brand: Oxford University Press
Availability: OutOfStock
Rating: 5 (1 reviews)

By Paolo Mancosu

0 - Default Title

Product details

Binding:

Paperback

Number of Pages:

418

Release Date:

2021-08-17

Publication Date:

2021-10-17

Publisher:

Oxford University Press

Languages:

Published: English, Original: English

ISBN10:

019289594X

GPSR Manufacturer Reference:

[email protected]

Weight:

658 g

Buy on Amazon

Currently sold out