Buy Used and New Mathematical Logic Books

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642216909

Format: Paperback (257 pages)
Publisher: Springer
Published: 23 May 2011

Save for later

Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings: 8th Annual Conference, ... Computer Science and General Issues)

by

ISBN 13: 9783642208768

Format: Paperback (579 pages)
Publisher: Springer
Published: 03 May 2011

Save for later

Inductive Logic (Handbook of the History of Logic)

by

ISBN 13: 9780444529367

Format: Hardcover (800 pages)
Publisher: North Holland
Published: 20 May 2010

Save for later

Axiom of Choice (Lecture Notes in Mathematics)

by Horst Herrlich

ISBN 13: 9783540309895

Format: Paperback (208 pages)
Publisher: Springer
Published: 11 May 2006

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

The Incompleteness Phenomenon

by Martin Goldstern,Haim Judah

ISBN 13: 9781568810294

Format: Hardcover (218 pages)
Publisher: A K Peters/CRC Press
Published: 15 Jun 1995

Save for later

Inconsistent Geometry

by Chris Mortensen

ISBN 13: 9781848900226

Format: Paperback (174 pages)
Publisher: College Publications
Published: 15 Oct 2010

Save for later

Multi-Criteria Decision Making Methods: A Comparative Study (Applied Optimization)

by Evangelos Triantaphyllou

ISBN 13: 9781441948380

Format: Paperback (324 pages)
Publisher: Springer
Published: 08 Dec 2010

Save for later

Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers: 14th International Conference, FG ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642201684

Format: Paperback (224 pages)
Publisher: Springer
Published: 06 Apr 2011

Save for later

Classical Recursion Theory, Volume II: Vol 2 (Studies in Logic and the Foundations of Mathematics)

by P. Odifreddi

ISBN 13: 9780444502056

Format: Hardcover (966 pages)
Publisher: North Holland
Published: 07 Sep 1999

Save for later

Lectures on Petri Nets II: Applications: Advances in Petri Nets: Applications v. 2 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540653073

Format: Paperback (490 pages)
Publisher: Springer
Published: 04 Nov 1998

Save for later

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, ... Computer Science and General Issues)

by

ISBN 13: 9783540454588

Format: Paperback (639 pages)
Publisher: Springer
Published: 20 Sep 2006

Save for later