Buy Used and New Mathematical Logic Books

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

Mathematical Control Theory: An Introduction (Modern Birkhäuser Classics)

by Jerzy Zabczyk

ISBN 13: 9780817647322

Format: Paperback (272 pages)
Publisher: Birkhauser
Published: 06 Nov 2007

Save for later

Machine Learning and Its Applications: Advanced Lectures (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540424901

Format: Paperback (325 pages)
Publisher: Springer
Published: 01 Aug 2001

Save for later

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540698494

Format: Paperback (231 pages)
Publisher: Springer
Published: 17 Jun 2008

Save for later

Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series)

by

ISBN 13: 9780521557368

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 11 Jan 1996

Save for later

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

by David A. Plaisted, Yunshan Zhu

ISBN 13: 9783528155742

Format: Paperback (178 pages)
Publisher: Springer
Published: 01 Sep 2003

Save for later

Hyperfinite Dirichlet Forms and Stochastic Processes (Lecture Notes of the Unione Matematica Italiana)

by Sergio Albeverio, Ruzong Fan, Frederik Herzberg

ISBN 13: 9783642196584

Format: Paperback (298 pages)
Publisher: Springer
Published: 29 May 2011

Save for later

From Objects to Diagrams for Ranges of Functors (Lecture Notes in Mathematics)

by Pierre Gillibert, Friedrich Wehrung

ISBN 13: 9783642217739

Format: Paperback (168 pages)
Publisher: Springer
Published: 09 Jul 2011

Save for later

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

by Katalin Bimbó

ISBN 13: 9781439800003

Format: Hardcover (357 pages)
Publisher: Chapman and Hall/CRC
Published: 19 Jul 2011

Save for later

Brouwer's Cambridge Lectures on Intuitionism

by Luitzen Egbertus Jan Brouwer

ISBN 13: 9780521177368

Format: Paperback (122 pages)
Publisher: Cambridge University Press
Published: 03 Mar 2011

Save for later

Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642212536

Format: Paperback (525 pages)
Publisher: Springer
Published: 19 May 2011

Save for later