Buy Used and New Mathematical Logic Books

Formal Engineering for Industrial Software Development: Using the SOFL Method

by Shaoying Liu

ISBN 13: 9783540206026

Format: Hardcover (400 pages)
Publisher: Springer
Published: 13 Apr 2004

Save for later

The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition

by Bernard Linsky

ISBN 13: 9781107003279

Format: Hardcover (418 pages)
Publisher: Cambridge University Press
Published: 09 Jun 2011

Save for later

Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)

by

ISBN 13: 9781439837214

Format: Hardcover (545 pages)
Publisher: CRC Press
Published: 16 Sep 2011

Save for later

Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Modern Ontology (Springer Series on Agent Technology)

by Raymond S.T. Lee

ISBN 13: 9783540212034

Format: Hardcover (350 pages)
Publisher: Springer
Published: 18 Nov 2005

Save for later

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

by J. Flum, M. Grohe

ISBN 13: 9783540299523

Format: Hardcover (507 pages)
Publisher: Springer
Published: 09 Feb 2006

Save for later

The Nature of Computation

by Cristopher Moore, Stephan Mertens

ISBN 13: 9780199233212

Format: Hardcover (1032 pages)
Publisher: OUP Oxford
Published: Jun 2011

Save for later

Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)

by George J. Klir, Doug Elias

ISBN 13: 9780306473579

Format: Hardcover (354 pages)
Publisher: Springer
Published: 31 Jan 2003

Save for later

General Lattice Theory: Second edition: Volume 1: The Foundation

by George Grätzer

ISBN 13: 9783764369965

Format: Paperback (663 pages)
Publisher: Birkhauser
Published: 21 Nov 2002

Save for later

Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)

by Deborah Nolan,Terry P. Speed

ISBN 13: 9780387989747

Format: Illustrated (301 pages)
Publisher: Springer
Published: 22 Feb 2009

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

Argumentation Schemes

by Douglas Walton

ISBN 13: 9780521723749

Format: Illustrated (456 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008
Other Format: Hardcover

Save for later

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

by W. Bibel, P.H. Schmitt

ISBN 13: 9780792351306

Format: Hardcover (448 pages)
Publisher: Springer
Published: 30 Jun 1998
Other Format: Hardcover, Illustrated

Save for later