Author: Sergio Galvan
Showing 1 to 1 of 1
-
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Paolo MancosuCurrent price €108.89Original price €120.99An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exe...
View full detailsCurrent price €108.89Original price €120.99Save 10%
Sort by