Normalization, Cut-Elimination, and the Theory of Proofs
A M Ungar
Hardback
Not Available
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
