Alan Turing And Kurt Godel Logic For Computer Science Foundations Of Automatic Theorem Proving Copyright 2003, Jean H. Gallier Logic Gallier — Turing, Alan | Kutubxona