The Philosophical Computer door Patrick Grim, And Formal Semantic Logic & Group for Logic and Formal Semantics