Buy Used and New Mathematical Foundations Books

Institution-independent Model Theory (Studies in Universal Logic)

by Razvan Diaconescu

ISBN 13: 9783764387075

Format: Paperback (387 pages)
Publisher: Birkhauser
Published: 16 May 2008

Save for later

Mathematical Problems from Applied Logic I: Logics for the XXIst Century: Logics for the 21st Century: v. 1 (International Mathematical Series)

by

ISBN 13: 9780387286884

Format: Hardcover (348 pages)
Publisher: Springer
Published: 14 Dec 2005

Save for later

Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)

by Thom Frühwirth,Slim Abdennadher

ISBN 13: 9783540606703

Format: Paperback (176 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Triangulations and Applications (Mathematics and Visualization)

by Øyvind Hjelle,Morten Dæhlen

ISBN 13: 9783540332602

Format: Hardcover (245 pages)
Publisher: Springer
Published: 13 Sep 2006

Save for later

Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)

by

ISBN 13: 9780387692449

Format: Hardcover (384 pages)
Publisher: Springer
Published: 29 Mar 2007

Save for later

Operator Algebras Generated by Commuting Projections: A Vector Measure Approach (Lecture Notes in Mathematics)

by Werner Ricker

ISBN 13: 9783540664611

Format: Paperback (159 pages)
Publisher: Springer
Published: 17 Sep 1999

Save for later

Language, Truth and Logic in Mathematics (Jaakko Hintikka Selected Papers)

by Jaakko Hintikka

ISBN 13: 9780792347668

Format: Hardcover (264 pages)
Publisher: Springer
Published: 31 Dec 1997

Save for later

Fundamentals of Mathematical Logic

by Peter G. Hinman

ISBN 13: 9781568812625

Format: Hardcover (896 pages)
Publisher: A K Peters/CRC Press
Published: 09 Sep 2005

Save for later

Descriptive Complexity (Texts in Computer Science)

by Neil Immerman

ISBN 13: 9780387986005

Format: Hardcover (284 pages)
Publisher: Springer
Published: 01 Jan 1999

Save for later

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540727873

Format: Paperback (384 pages)
Publisher: Springer
Published: 18 May 2007

Save for later

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540442745

Format: Paperback (655 pages)
Publisher: Springer
Published: 25 Sep 2002

Save for later

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later