The Roots of Computer Science in Symbolic Logic

June 3, 2002

Book Review
James Case

Conversations with a Mathematician, Gregory Chaitin
Engines of Logic, Martin Davis


Renew SIAM · Contact Us · Site Map · Join SIAM · My Account
Facebook Twitter Youtube