Shankar, N
Metamathematics, machines and Godel's proof - Cambridge CUP 1997 - 202 - Cambridge tracts in theoretical computer science; 38 .
0521585333
Computer science
Mathematical logic
Proof checking
681.3 SHA
Metamathematics, machines and Godel's proof - Cambridge CUP 1997 - 202 - Cambridge tracts in theoretical computer science; 38 .
0521585333
Computer science
Mathematical logic
Proof checking
681.3 SHA