Metalogic: An Introduction to the Metatheory of Standard First Order Logic
by Hunter
ISBN 13: 9780520023567
Format: Paperback (302 pages) Publisher: University of California Press Published: 01 Jul 1992
Save for later
More Sets, Graphs and Numbers: A Salute to Vera Sòs and András Hajnal (Bolyai Society Mathematical Studies)
by
ISBN 13: 9783540323778
Format: Hardcover (405 pages) Publisher: Springer Published: 30 Mar 2006
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540876021
Format: Paperback (382 pages) Publisher: Springer Published: 08 Sep 2008
A Textbook of Belief Dynamics: Theory Change and Database Updating (Applied Logic Series)
by Sven Ove Hansson
ISBN 13: 9780792353249
Format: Hardcover (484 pages) Publisher: Springer Published: 31 Mar 1999
DNA Computing: 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers: 4848 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540779612
Format: Paperback (303 pages) Publisher: Springer Published: 08 Feb 2008
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)
ISBN 13: 9781402050114
Format: Hardcover (360 pages) Publisher: Springer Published: 04 Oct 2006
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540732273
Format: Paperback (397 pages) Publisher: Springer Published: 15 Jun 2007
Robustness and Usability in Modern Design Flows
by Görschwin Fey,Rolf Drechsler
ISBN 13: 9781402065354
Format: Hardcover (182 pages) Publisher: Springer Published: 08 Jan 2008
Stoer/Bulirsch: Numerische Mathematik 1 (Springer-Lehrbuch)
by Ronald H. W. Hoppe,Roland W. Freund
ISBN 13: 9783540453895
Format: Paperback (410 pages) Publisher: Springer Published: 01 Apr 2007
Grundlagen der Mathematik für Studium und Lehramt: Mengen, Funktionen, Teilbarkeit, Kombinatorik, Wahrscheinlichkeit
by Lutz Warlich
ISBN 13: 9783833453373
Format: Perfect Paperback (276 pages) Publisher: Books on Demand Gmbh Published: Jul 2006
Nonlinear Dimensionality Reduction (Information Science and Statistics)
by John A. Lee,Michel Verleysen
ISBN 13: 9780387393506
Format: Hardcover (328 pages) Publisher: Springer Published: 21 Nov 2007
Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540291725
Format: Paperback (1052 pages) Publisher: Springer Published: 30 Sep 2005