From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Synthese Library)
by
ISBN 13: 9789048145546
Format: Paperback (488 pages) Publisher: Springer Published: 16 Nov 2010
Save for later
Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)
by Tamás Horváth,Akihiro Yamamoto
ISBN 13: 9783540201441
Format: Paperback (416 pages) Publisher: Springer Published: 24 Sep 2003
Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)
by Ethan D. Bloch
ISBN 13: 9781441971265
Format: Hardcover (383 pages) Publisher: Springer Published: 21 Feb 2011
Aspects of Combinatorics: A Wide-ranging Introduction
by Victor Bryant
ISBN 13: 9780521429979
Format: Illustrated (276 pages) Publisher: Cambridge University Press Published: 14 Jan 1993
Advances in Elliptic Curve Cryptography: Further Topics v. 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521604154
Format: Paperback (298 pages) Publisher: Cambridge University Press Published: 25 Apr 2005
Alfred Tarski: Life and Logic (Cambridge Concise Histories)
by Anita Burdman Feferman,Solomon Feferman
ISBN 13: 9780521714013
Format: Paperback (432 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, ... Computer Science and General Issues)
ISBN 13: 9783540709381
Format: Paperback (648 pages) Publisher: Springer Published: 07 Feb 2007
Modal Logic: An Introduction to its Syntax and Semantics
by Nino B. Cocchiarella,Max A. Freund
ISBN 13: 9780195366570
Format: Paperback (288 pages) Publisher: OUP USA Published: 14 Aug 2008
Piano-hinged Dissections: Time to Fold!
by Greg N. Frederickson
ISBN 13: 9781568812991
Format: Hardcover (320 pages) Publisher: A K Peters/CRC Press Published: 30 Nov 2006
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Inductive Logic (Handbook of the History of Logic)
ISBN 13: 9780444529367
Format: Hardcover (800 pages) Publisher: North Holland Published: 20 May 2010
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002