SIAM NEWS

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


Donate · Contact Us · Site Map · Join SIAM · My Account
Facebook Twitter Youtube linkedin google+