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
Book Review
James Case
Conversations with a Mathematician, Gregory Chaitin
Engines of Logic, Martin Davis