An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs
Paolo Mancosu, Sergio Galvan, Richard ZachCategories:
Year:
2021
Publisher:
Oxford University Press
Language:
english
ISBN 10:
0192895931
ISBN 13:
9780192895936
ISBN:
2021910782
File:
PDF, 2.22 MB
IPFS:
,
english, 2021