Buy Used and New Mathematical Logic Books

Theories of Computability

by Nicholas Pippenger

ISBN 13: 9780521153430

Format: Paperback (264 pages)
Publisher: Cambridge University Press
Published: 10 Jun 2010

Save for later

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642048920

Format: Paperback (329 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Gabriele Puppis

ISBN 13: 9783642118807

Format: Paperback (206 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

by Hunter

ISBN 13: 9780520023567

Format: Paperback (302 pages)
Publisher: University of California Press
Published: 01 Jul 1992

Save for later

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

by Richard W. Kaye

ISBN 13: 9780521708777

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 12 Jul 2007

Save for later

Handbook of Combinatorial Designs (Discrete Mathematics and Its Applications)

by

ISBN 13: 9781584885061

Format: Hardcover (1016 pages)
Publisher: Chapman and Hall/CRC
Published: 02 Nov 2006

Save for later

Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)

by Robert Goldblatt

ISBN 13: 9780937073940

Format: Paperback (180 pages)
Publisher: Cambridge University Press
Published: 01 Jun 1992

Save for later

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642006586

Format: Paperback (269 pages)
Publisher: Springer
Published: 22 Apr 2009

Save for later

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642017476

Format: Paperback (245 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642020162

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Apr 2009

Save for later

Giuseppe Peano between Mathematics and Logic: Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his ... Mathematico Torino (Italy) October 2-3, 2008

by

ISBN 13: 9788847018358

Format: Paperback (190 pages)
Publisher: Springer
Published: 23 Dec 2010

Save for later

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)

by Jon Barwise,Lawrence Moss

ISBN 13: 9781575860084

Format: Paperback (390 pages)
Publisher: Cambridge University Press
Published: 13 Jul 1996

Save for later