Engines Of Logic by Martin Davis