Home Advanced Search

Advanced Search - Page 1

Abstraction and Infinity
  • PDF
  • English
  • Year: 2017
  • Author: Paolo Mancosu
The philosophy of mathematical practice
  • PDF
  • English
  • Year: 2008
  • Author: Mancosu, Paolo
Visualization, Explanation and Reasoning Styles in Mathematics
  • PDF
  • English
  • Year: 2005
  • Author: P. Mancosu, K.F. Jørgensen, S.A. Pedersen (auth.), Paolo Mancosu, Klaus Frovin Jørgensen, Stig Andur Pedersen (eds.)
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
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
  • PDF
  • English
  • Year: 2021
  • Author: Paolo Mancosu, Sergio Galvan, Richard Zach