Photo de l'auteur

Michael Detlefsen

Auteur de Proof, Logic and Formalization

6 oeuvres 45 utilisateurs 0 critiques

Œuvres de Michael Detlefsen

Proof, Logic and Formalization (1992) 15 exemplaires
Logic from A to Z (1999) 15 exemplaires
Proof and Knowledge in Mathematics (1992) 10 exemplaires
Glossário da Logica (2004) 3 exemplaires
Purity of Methods 1 exemplaire

Étiqueté

Partage des connaissances

Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.

Membres

Statistiques

Œuvres
6
Membres
45
Popularité
#340,917
Évaluation
4.0
ISBN
12
Langues
2