10 libri per 10 euro qui
Bookbot

Paolo Mancosu

    Paolo Mancosu è un professore di filosofia il cui lavoro approfondisce la filosofia e la storia della matematica e della logica matematica. La sua attuale ricerca si concentra sul neologicismo e sulla filosofia della pratica matematica. Esplora le profonde connessioni tra il pensiero astratto e le sue applicazioni nel mondo reale, rivelando l'essenza dei principi matematici ai lettori. I suoi scritti sono destinati a coloro che cercano esplorazioni illuminanti sui fondamenti della logica e della matematica.

    An Introduction to Proof Theory
    • 2021

      An Introduction to Proof Theory

      • 432pagine
      • 16 ore di lettura

      An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

      An Introduction to Proof Theory