Buy Used and New Mathematical Logic Books

Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and ... 5056 (Lecture Notes in Computer Science)

by Fariba Sadri

ISBN 13: 9783540888321

Format: Paperback (312 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak

ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later

Modern Logic: A Text in Elementary Symbolic Logic

by Graeme Forbes

ISBN 13: 9780195080292

Format: Paperback (416 pages)
Publisher: OUP USA
Published: 07 Apr 1994

Save for later

Gödel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

ISBN 13: 9780814758373

Format: Paperback (160 pages)
Publisher: NYU Press
Published: 01 Oct 2008

Save for later

Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory (Series in Computer Science)

by Gregory J. Chaitin

ISBN 13: 9789810201715

Format: Paperback (320 pages)
Publisher: World Scientific Publishing Co Pte Ltd
Published: 01 Jan 1990

Save for later

An Introduction to Formal Languages and Machine Computation

by Song Y. Yan

ISBN 13: 9789810234225

Format: Hardcover (420 pages)
Publisher: World Scientific Publishing Co Pte Ltd
Published: 21 Jul 1998

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

The Colorado Mathematical Olympiad and Further Explorations: From the Mountains of Colorado to the Peaks of Mathematics: The First Twenty Years and Further Explorations

by Alexander Soifer

ISBN 13: 9780387754710

Format: Paperback (447 pages)
Publisher: Springer
Published: 11 Apr 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