An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.
PRP: 343.58 Lei
Acesta este Pretul Recomandat de Producator. Pretul de vanzare al produsului este afisat mai jos.
309.22Lei
309.22Lei
343.58 LeiLivrare in 2-4 saptamani
Descrierea produsului
introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.
Detaliile produsului