Home Advanced Search

Advanced Search - Page 1

The philosophy of mathematical practice
The philosophy of mathematical practice
  • PDF
  • English
  • Year: 2008
  • Author: Mancosu, Paolo
Syllogistic Logic and Mathematical Proof
Syllogistic Logic and Mathematical Proof
  • PDF
  • English
  • Year: 2023
  • Author: Paolo Mancosu, Massimo Mugnai
An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs
  • PDF
  • English
  • Year: 2021
  • Author: Paolo Mancosu, Sergio Galvan, Richard Zach
Syllogistic Logic and Mathematical Proof
  • EPUB
  • English
  • Author: Prof Paolo Mancosu, Prof Massimo Mugnai
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
  • PDF
  • English
  • Year: 2021
  • Author: Paolo Mancosu, Sergio Galvan, Richard Zach
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
  • PDF
  • English
  • Year: 2021
  • Author: Paolo Mancosu, Sergio Galvan, Richard Zach
La Cappella Sistina. Vol. II
  • EPUB
  • Italian
  • Author: Mancosu Carla.
La Cappella Sistina Vol. I
  • EPUB
  • Italian
  • Author: Mancosu Carla.