Proof, Logic and Formalization Michael Detlefsen: другие книги

Logic from A to Z

2013

Proof and Knowledge in Mathematics

2005