Proof and Knowledge in Mathematics Sách Khác Của 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