Michael Detlefsen

ブック
Logic from A to Z Logic from A to Z
Logic from A to Z
2013年
Proof, Logic and Formalization Proof, Logic and Formalization
Proof, Logic and Formalization
2005年
Proof and Knowledge in Mathematics Proof and Knowledge in Mathematics
Proof and Knowledge in Mathematics
2005年