Order:
Did you mean: Talkies, George J.
  1.  17
    Lectures in Logic and Set Theory.George J. Tourlakis - 2003 - 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
    Theory of Computation.George J. Tourlakis - 2012 - 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