Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
by Zofia Adamowicz,Pawel Zbierski
ISBN 13: 9780471060260
Format: Hardcover (272 pages) Publisher: Wiley-Blackwell Published: 07 Apr 1997
Save for later
Sets, Functions, and Logic (Chapman & Hall Mathematics)
by Keith Devlin
ISBN 13: 9781584884491
Format: Hardcover (160 pages) Publisher: Chapman and Hall/CRC Published: 24 Nov 2003
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
by George R. R. Exner
ISBN 13: 9780387946177
Format: Illustrated (224 pages) Publisher: Springer Published: 22 Jun 1999
A Student's Guide to Data and Error Analysis
by Herman J. C. Berendsen
ISBN 13: 9780521134927
Format: Paperback (240 pages) Publisher: Cambridge University Press Published: 07 Apr 2011 Other Format: Hardcover
ISBN 13: 9780521119405
Format: Hardcover (240 pages) Publisher: Cambridge University Press Published: 07 Apr 2011 Other Format: Paperback
Automated Theorem Proving: Theory and Practice
by Monty Newborn
ISBN 13: 9780387950754
Format: Hardcover (231 pages) Publisher: Springer Published: 01 Jan 2001
Theorie Und Numerik Restringierter Optimierungsaufgaben (Springer-Lehrbuch Masterclass)
by Carl Geiger,Christian Kanzow
ISBN 13: 9783540427902
Format: Paperback (487 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 06 Mar 2002
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540412854
Format: Paperback (487 pages) Publisher: Springer Published: 23 Oct 2000
Free Boundary Problems: Theory and Applications (International Series of Numerical Mathematics)
ISBN 13: 9783764377182
Format: Hardcover (470 pages) Publisher: Birkhauser Published: 22 Nov 2006
Iterative Approximation of Fixed Points (Lecture Notes in Mathematics)
by Vasile Berinde
ISBN 13: 9783540722335
Format: Paperback (342 pages) Publisher: Springer Published: 16 May 2007
Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540290735
Format: Paperback (349 pages) Publisher: Springer Published: 11 Oct 2005