
Metamathematics, Machines And Gdel's Proof
by N. Shankar /
1997 / English / PDF
9.4 MB Download
Describes the use of computer programs to check several proofs in the foundations of mathematics.
Describes the use of computer programs to check several proofs in the foundations of mathematics.