Home Advanced Search
Advanced Search - Page 1
An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs
- English
- Year: 2021
- Author: Paolo Mancosu, Sergio Galvan, Richard Zach
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- English
- Year: 2021
- Author: Paolo Mancosu, Sergio Galvan, Richard Zach
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- English
- Year: 2021
- Author: Paolo Mancosu, Sergio Galvan, Richard Zach
Moscow has Ears Everywhere: New Investigations on Pasternak and Ivinskaya
- EPUB
- English
- Year: 2019
- Author: Paolo Mancosu
![Visualization, explanation and reasoning styles in mathematics: [based on the Meeting "Mathematics as Rational Activity" held at Roskilde University, Denmark, from November 1 to November 3, 2001]](https://images.isbndb.com/covers/33/46/9781402033346.jpg)
Visualization, explanation and reasoning styles in mathematics: [based on the Meeting "Mathematics as Rational Activity" held at Roskilde University, Denmark, from November 1 to November 3, 2001]
- English
- Year: 2005
- Author: Mancosu, Paolo et al. (eds.)
L'amore che spera e crede. Nella traccia della storia tra antropologia e teologia
- Italian
- Year: 2010
- Author: Sergio Paolo Bonanni
Syllogistic Logic and Mathematical Proof
- EPUB
- English
- Author: Prof Paolo Mancosu, Prof Massimo Mugnai