Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
Save for later
Cryptology and Network Security: 8th International Conference, C.A.N.S. 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology): 5888
by Juan A. Garay, Atsuko Miyaji, Akira Otsuka
ISBN 13: 9783642104329
Format: Paperback (538 pages) Publisher: Springer Published: 24 Nov 2009
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970
Schaum's Outline of Set Theory and Related Topics
by Seymour Lipschutz
ISBN 13: 9780070381599
Format: Paperback (288 pages) Publisher: McGraw Hill Published: 01 Jan 1998
Axiomatic Set Theory (Dover Books on Mathematics)
by Patrick Suppes
ISBN 13: 9780486616308
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 May 1973
A Set Theory Workbook
by Iain Adamson
ISBN 13: 9780817640286
Format: Paperback (164 pages) Publisher: Birkhäuser Published: 18 Dec 1997
Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised ... 5605 (Lecture Notes in Computer Science)
by John-Jules Charles Meyer, Jan M. Broersen
ISBN 13: 9783642053009
Format: Paperback (161 pages) Publisher: Springer Published: 26 Oct 2009
A Concise Introduction to Mathematical Logic (Universitext)
by Wolfgang Rautenberg
ISBN 13: 9781441912206
Format: Illustrated (342 pages) Publisher: Springer Published: 17 Dec 2009
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)
by Eerke A. Boiten,Bernhard Möller
ISBN 13: 9783540438571
Format: Paperback (273 pages) Publisher: Springer Published: 13 Jun 2008
Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)
by Jacob Lurie
ISBN 13: 9780691140490
Format: Paperback (944 pages) Publisher: Princeton University Press Published: 06 Jul 2009
Progress in Cryptology - INDOCRYPT 2009: 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings ... Computer Science / Security and Cryptology)
by Bimal Roy, Nicolas Sendrier
ISBN 13: 9783642106279
Format: Paperback (443 pages) Publisher: Springer Published: 24 Nov 2009
Transactions on Rough Sets X (Lecture Notes in Computer Science / Transactions on Rough Sets): 5656
by James F. Peters
ISBN 13: 9783642032806
Format: Paperback (288 pages) Publisher: Springer Published: 04 Aug 2009