Did you mean: Talkies, George J.
  1. George J. Tourlakis (2012). Theory of Computation. Wiley.
    In addition, this book contains tools that, in principle, can search a set of algorithms to see whether a problem is solvable, or more specifically, if it can be solved by an algorithm whose computations are efficient.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. George J. Tourlakis (2003). Lectures in Logic and Set Theory. Cambridge University Press.
    This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so (...)
    Direct download  
     
    My bibliography  
     
    Export citation