First-Order Logic (Dover Books on Mathematics)Smullyan, Raymond M. Paperback 0486683702 / 9780486683706 1995-01-30 $7.99

How to Prove It: A Structured Approach Revised Edition Velleman, Daniel J. Paperback 1108439535 / 9781108439534 2019-07-18 $39.89

Exploring Mathematics: An Engaging Introduction to Proof (Cambridge Mathematical Textbooks)Meier, John Hardcover 1107128986 / 9781107128989 2017-08-07 $53.54

An Invitation to Applied Category Theory: Seven Sketches in Compositionality Fong, Brendan Paperback 1108711820 / 9781108711821 2019-08-29 $47.49

Set Theory: A First Course (Cambridge Mathematical Textbooks)Cunningham, Daniel W. Hardcover 1107120322 / 9781107120327 2017-05-23 $65.09

Logic for Computer Scientists (Modern Birkhauser Classics)Schöning, Uwe Paperback 0817647627 / 9780817647629 2008-01-11 $66.49

John Dewey's Logical Theory (1919) Howard, Delton Thomas Hardcover 1436504309 / 9781436504300 2008-06-02 $32.36

Fundamentals of Mathematical Proof Matthews, Charles a. Paperback 1717176704 / 9781717176707 2018-05-05 $26.78

A Course in Formal Languages, Automata and Groups 2009 Edition (Universitext)Chiswell, Ian M. Paperback 1848009399 / 9781848009394 2008-11-01 $66.49

Measuring Inconsistency in Information Grant, John Paperback 1848902441 / 9781848902442 2018-02-15 $22.58

Theory of Effective Propositional Paraconsistent Logics Avron, Arnon Paperback 1848902700 / 9781848902701 2018-05-21 $24.94

Formal Languages and Compilation 2019 Edition (Texts in Computer Science)Crespi Reghizzi, Stefano Hardcover 3030048780 / 9783030048785 2019-05-06 $94.99

Controlled Natural Language: 4th International Workshop, Cnl 2014, Galway, Ireland, August 20-22, 2014, Proceedings 2014 Edition Davis, Brian Paperback 3319102222 / 9783319102221 2014-08-05 $56.99

Logic Year 1979-80: The University of Connecticut, USA 1981 Edition (Lecture Notes in Mathematics)Lerman, M. Paperback 3540107088 / 9783540107088 1981-05-01 $56.95

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science)Hofmann, Martin Paperback 3540403329 / 9783540403326 2003-05-27 $94.05

Teoria Algebrica Dei Meccanismi Automatici: Lectures Given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Varenn 2012 Edition (Cime Summer Schools) (Italian) Righi, R. Paperback 3642109306 / 9783642109300 2012-04-30 $66.45

Griddlers Logic Puzzles: Black and White Rehak, Rastislav Paperback 9657679028 / 9789657679029 2014-08-13 $16.20

Griddlers Logic Puzzles: Black and White Maor, Elad Paperback 9657679117 / 9789657679111 2014-08-28 $16.20

Quantum physics for beginners: The most compelling phenomena of quantum physics made easy: the law of attraction and the theory of relativity Olsson, Brad Paperback 1661505430 / 9781661505431 2020-01-16 $18.89

Computable Structures and the Hyperarithmetical Hierarchy, Volume 144 (Studies in Logic and the Foundations of Mathematics)Ash, C. J. Hardcover 0444500723 / 9780444500724 2000-06-16 $146.30

Relation Algebras by Games (Studies in Logic and the Foundations of Mathematics,)Hirsch, Robin Hardcover 0444509321 / 9780444509321 2002-08-15 $165.00

Thinking Recursively Roberts, Eric S. Paperback 0471816523 / 9780471816522 1986-01-17 $106.65

Introduction to Logic (Dover Books on Mathematics)Suppes, Patrick Paperback 0486406873 / 9780486406879 1999-01-26 $13.83

Theories of Computability Pippenger, Nicholas Paperback 0521153433 / 9780521153430 2010-10-06 $54.15

The Algebra of Logic Couturat, Louis, Louis Paperback 1171614896 / 9781171614890 2010-09-07 $14.42