Buy Used and New Mathematical Logic Books

Theory of Recursive Functions and Effective Computability

by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi

ISBN 13: 9780262680523

Format: Paperback (504 pages)
Publisher: MIT Press
Published: 01 Jan 1987

Save for later

Computability Theory: An Introduction to Recursion Theory

by Herbert B. Enderton

ISBN 13: 9780123849588

Format: Hardcover (192 pages)
Publisher: Academic Press
Published: 30 Dec 2010

Save for later

Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), ... 9-17, 1968 (C.I.M.E. Summer Schools)

by

ISBN 13: 9783642110788

Format: Paperback (285 pages)
Publisher: Springer
Published: 30 Nov 2010

Save for later

Gentzen Calculi for Modal Propositional Logic (Trends in Logic)

by Francesca Poggiolesi

ISBN 13: 9789048196692

Format: Hardcover (222 pages)
Publisher: Springer
Published: 02 Dec 2010

Save for later

Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))

by

ISBN 13: 9781904987291

Format: Paperback (300 pages)
Publisher: College Publications
Published: 05 Dec 2006

Save for later

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

by George R. R. Exner

ISBN 13: 9780387946177

Format: Illustrated (224 pages)
Publisher: Springer
Published: 22 Jun 1999

Save for later

Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)

by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster

ISBN 13: 9780521149341

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 05 May 2011

Save for later

Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)

by

ISBN 13: 9783540222613

Format: Paperback (857 pages)
Publisher: Springer
Published: 14 Jun 2004

Save for later

Models and Games (Cambridge Studies in Advanced Mathematics)

by Jouko Väänänen

ISBN 13: 9780521518123

Format: Hardcover (380 pages)
Publisher: Cambridge University Press
Published: 05 May 2011

Save for later

Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)

by Tamás Horváth,Akihiro Yamamoto

ISBN 13: 9783540201441

Format: Paperback (416 pages)
Publisher: Springer
Published: 24 Sep 2003

Save for later

Logic in Elementary Mathematics

by Robert M. Exner,Myron F. Rosskopf

ISBN 13: 9780486482217

Format: Paperback (288 pages)
Publisher: Dover Publications Inc.
Published: 16 Jun 2011

Save for later

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later