N. Shankar

  1. home
  2. Author
  3. N. Shankar
N. Shankar

3 Published BooksN. Shankar

Popular Books by N. Shankar

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
View More

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)

By: N. Shankar
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science, 5295)
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science, 5295)
View More

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science, 5295)

By: N. Shankar
Metamathematics, Machines and G??del's Proof (Cambridge Tracts in Theoretical Computer Science) by N. Shankar (1994-05-12)
Metamathematics, Machines and G??del's Proof (Cambridge Tracts in Theoretical Computer Science) by N. Shankar (1994-05-12)
View More

Metamathematics, Machines and G??del's Proof (Cambridge Tracts in Theoretical Computer Science) by N. Shankar (1994-05-12)

By: N. Shankar