Did you mean: Talkies, George J.
  1.  8
    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  
     
    Export citation  
     
    My bibliography  
  2.  4
    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  
     
    Export citation  
     
    My bibliography