N Shankar

N Shankar is the author of books such as Verified Software.

Books by N Shankar

Verified Software

Verified Software

Metamathematics, Machines and GDel's Proof

Metamathematics, Machines and GDel's Proof

No cover image available

Metamathematics, Machines and Godel's Proof

No cover image available

Metamathematics, Machines and GöDel\'s Proof