Buy Used and New Mathematical Logic Books

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

The Law of Non-Contradiction: New Philosophical Essays

by

ISBN 13: 9780199204199

Format: Paperback (456 pages)
Publisher: Clarendon Press
Published: 30 Nov 2006

Save for later

Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)

by David M. Bressoud

ISBN 13: 9780521666466

Format: Paperback (274 pages)
Publisher: Cambridge University Press
Published: 13 Aug 1999

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

Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642009815

Format: Paperback (754 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642024238

Format: Paperback (353 pages)
Publisher: Springer
Published: 09 Jun 2009

Save for later

Compiler Construction: 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)

by

ISBN 13: 9783642119699

Format: Paperback (326 pages)
Publisher: Springer
Published: 16 Mar 2010

Save for later

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later