Michael Detlefsen

ブック
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年