An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs, Paperback - ***
228,99 RON
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exe...
elefant.ro