Buy Used and New Mathematical Foundations Books

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

by Wolfgang Bibel,P.H. Schmitt

ISBN 13: 9780792351290

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

Save for later

Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science

by Richard Lassaigne,Michel de Rougemont

ISBN 13: 9781852335656

Format: Illustrated (376 pages)
Publisher: Springer
Published: 20 Jan 2004

Save for later

Handbook of Combinatorial Designs (Discrete Mathematics and Its Applications)

by

ISBN 13: 9781584885061

Format: Hardcover (1016 pages)
Publisher: Chapman and Hall/CRC
Published: 02 Nov 2006

Save for later

Symmetries and Laplacians: Introduction to Harmonic Analysis, Group Representations and Applications

by David Gurarie

ISBN 13: 9780486462882

Format: Paperback (464 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Problems of Form (Writing Science)

by

ISBN 13: 9780804734240

Format: Paperback (260 pages)
Publisher: Stanford University Press
Published: 30 Nov 1999

Save for later

Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)

by Robert Goldblatt

ISBN 13: 9780937073940

Format: Paperback (180 pages)
Publisher: Cambridge University Press
Published: 01 Jun 1992

Save for later

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

Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642023477

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

Save for later

Computability: An Introduction to Recursive Function Theory

by Nigel Cutland

ISBN 13: 9780521294652

Format: Illustrated (262 pages)
Publisher: Cambridge University Press
Published: 19 Jun 1980

Save for later

Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)

by Paul J Cohen,Martin Davis

ISBN 13: 9780486469218

Format: Illustrated (192 pages)
Publisher: Dover Publications Inc.
Published: 27 Feb 2009

Save for later

Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)

by Mikhail J. Atallah, Marina Blanton

ISBN 13: 9781584888208

Format: Illustrated (950 pages)
Publisher: Chapman and Hall/CRC
Published: 20 Nov 2009

Save for later