Buy Used and New Mathematical Logic Books

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, ... / Programming and Software Engineering)

by

ISBN 13: 9783540897774

Format: Paperback (227 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540852865

Format: Paperback (512 pages)
Publisher: Springer
Published: 13 Aug 2008

Save for later

Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540855019

Format: Paperback (632 pages)
Publisher: Springer
Published: 26 Aug 2008

Save for later

Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783642119279

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

Save for later

Incompleteness in the Land of Sets (Studies in Logic)

by M. Fitting

ISBN 13: 9781904987345

Format: Paperback (156 pages)
Publisher: College Publications
Published: 19 Feb 2007

Save for later

Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))

by

ISBN 13: 9781904987291

Format: Paperback (300 pages)
Publisher: College Publications
Published: 05 Dec 2006

Save for later

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540878025

Format: Paperback (429 pages)
Publisher: Springer
Published: 19 Sep 2008

Save for later

Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)

by Bernd Sturmfels,Peter Paule

ISBN 13: 9783211774168

Format: Illustrated (204 pages)
Publisher: Springer
Published: 28 Apr 2008

Save for later

The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)

by Arnold L. L. Rosenberg

ISBN 13: 9780387096384

Format: Paperback (344 pages)
Publisher: Springer
Published: 12 Nov 2009

Save for later

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

by Marcel Vinícius Medeiros Oliveira, Jim Woodcock

ISBN 13: 9783642104510

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

by Jean-Raymond Abrial, Uwe Glässer

ISBN 13: 9783642114465

Format: Paperback (256 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Argumentation Schemes

by Douglas Walton

ISBN 13: 9780521723749

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

Save for later