2010 - Set Theory and the Continuum Problem (Paperback) ISBN-13: 9780486474847 ISBN-10: 0486474844 Genres: Science & Math, Engineering & Transportation ? 2007 - Incompleteness in the Land of Sets [Studies in Logic] (Paperback) ISBN-13: 9781904987345 ISBN-10: 1904987346 Genres: Science & Math, Engineering & Transportation ? 1996 - Set Theory and the Continuum Problem [Oxford Logic Guides] (Hardcover) ISBN-13: 9780198523956 ISBN-10: 0198523955 Genres: Science & Math, Engineering & Transportation ? 1995 - Firstorder Logic and Automated Theorem Proving [Texts in Computer Science] (Hardcover) ISBN-13: 9780387945934 ISBN-10: 0387945938 Genres: Science & Math, Engineering & Transportation ? 1987 - Computability Theory Semantics and Logic Programming [Oxford Logic Guides] (Hardcover) ISBN-13: 9780195036916 ISBN-10: 0195036913 Genres: Reference, Science & Math ? 1975 - In Praise of Simple Things (Other) ISBN-13: 9780679505112 ISBN-10: 0679505113 Genres: Crafts, Hobbies & Home, Engineering & Transportation ? Firstorder Logic and Automated Theorem Proving [Texts and Monographs in Computer Science] (Hardcover) ISBN-13: 9780387972336 ISBN-10: 0387972331 ? Intuitionistic Logic Model Theory and Forcing [Studies in logic and the foundations of mathematics] (Paperback) ISBN-13: 9780720422566 ISBN-10: 0720422566 Genre: Science & Math ? |