Proof, Logic and Formalization المزيد من كتب Michael Detlefsen

Logic from A to Z Logic from A to Z
Logic from A to Z
٢٠١٣
Proof and Knowledge in Mathematics Proof and Knowledge in Mathematics
Proof and Knowledge in Mathematics
٢٠٠٥