METAMATHEMATICS, MACHINES AND GODEL'S PROOF by SHANKAR, N. (SRI INTERNATIONAL) ISBN 0521585333

Views
Personal tools
Toolbox