Buy Used and New Mathematical Foundations Books

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak

ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

Save for later

Mathematical Logic (Undergraduate Texts in Mathematics)

by H.-D. Ebbinghaus,J. Flum,W. Thomas

ISBN 13: 9780387942582

Format: Illustrated (308 pages)
Publisher: Springer
Published: 01 Dec 1996

Save for later

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos

ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

Algorithmic Composition: Paradigms of Automated Music Generation

by Gerhard Nierhaus

ISBN 13: 9783211755396

Format: Hardcover (297 pages)
Publisher: Springer
Published: 05 Nov 2008

Save for later

Computability of Julia Sets: Preliminary Entry 23 (Algorithms and Computation in Mathematics)

by Mark Braverman,Michael Yampolsky

ISBN 13: 9783540685463

Format: Illustrated (168 pages)
Publisher: Springer
Published: 26 Nov 2008

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

by Christopher John Hogger,D. M. Gabbay,C. Hogger

ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

Save for later

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

Save for later

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

Save for later

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

Save for later

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

Save for later