Proof and Knowledge in Mathematics المزيد من كتب Michael Detlefsen

Logic from A to Z Logic from A to Z
٢٠١٣
Proof, Logic and Formalization Proof, Logic and Formalization
٢٠٠٥