Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)
by
ISBN 13: 9789400700796
Format: Hardcover (424 pages) Publisher: Springer Published: 07 Apr 2011
Save for later
Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)
by George J. Klir, Doug Elias
ISBN 13: 9780306473579
Format: Hardcover (354 pages) Publisher: Springer Published: 31 Jan 2003
Sweet Reason: A Field Guide to Modern Logic
by James M. Henle, Jay L. Garfield, Thomas Tymoczko
ISBN 13: 9781444337150
Format: Paperback (424 pages) Publisher: John Wiley & Sons Published: 26 Aug 2011
Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)
by Murray R. Bremner
ISBN 13: 9781439807026
Format: Hardcover (332 pages) Publisher: CRC Press Published: 08 Sep 2011
Hybrid Logic and its Proof-Theory (Applied Logic Series)
by Torben Braüner
ISBN 13: 9789400700017
Format: Hardcover (244 pages) Publisher: Springer Published: 30 Nov 2010
General Lattice Theory: Second edition: Volume 1: The Foundation
by George Grätzer
ISBN 13: 9783764369965
Format: Paperback (663 pages) Publisher: Birkhauser Published: 21 Nov 2002
Math Work Stations: Independent Learning You Can Count On, K-2
by Debbie Diller
ISBN 13: 9781571107930
Format: Spiral-bound (299 pages) Publisher: Stenhouse Pub Published: 31 Dec 2010
Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)
by Deborah Nolan,Terry P. Speed
ISBN 13: 9780387989747
Format: Illustrated (301 pages) Publisher: Springer Published: 22 Feb 2009
Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)
by Stasys Jukna
ISBN 13: 9783642173639
Format: Hardcover (411 pages) Publisher: Springer Published: 02 Sep 2011
Theorie DES Ensembles: Éléments de Mathématique
by N Bourbaki
ISBN 13: 9783540340348
Format: Paperback (250 pages) Publisher: Springer Published: 01 Sep 2006
Number Theory: An approach through history from Hammurapi to Legendre (Modern Birkhäuser Classics)
by André Weil
ISBN 13: 9780817645656
Format: Paperback (376 pages) Publisher: Birkhauser Published: 29 Dec 2006
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises: ... Calculus, Completeness Theorems Pt.1
by René Cori,Daniel Lascar
ISBN 13: 9780198500483
Format: Paperback (360 pages) Publisher: OUP Oxford Published: 07 Sep 2000