From 2e922cc4d5a533c89ab23ad23a5da4addc88ad2d Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 21 Nov 2016 15:40:06 +0000 Subject: [PATCH] Update ModelsComputation.md --- teaching/ModelsComputation.md | 1 - 1 file changed, 1 deletion(-) diff --git a/teaching/ModelsComputation.md b/teaching/ModelsComputation.md index a2d021c..a87bb2d 100644 --- a/teaching/ModelsComputation.md +++ b/teaching/ModelsComputation.md @@ -61,7 +61,6 @@ M.D. Davis, R. Sigal and E.J. Wyuker. (1994). Computability, Complexity and Lang T.A. Sudkamp (1995). Languages and Machines, 2nd edition, Addison-Wesley. Other Recommendations: [Logicomix](http://www.logicomix.com/en/): the graphic novel Logicomix was inspired by the epic story of the quest for the Foundations of Mathematics... -http://www.logicomix.com/en/ [Turing](http://www.amazon.com/Turing-Novel-Computation-Christos-Papadimitriou/dp/0262162180) (A Novel about Computation), Christos Papadimitriou, Berkeley. -- GitLab