Introduction to Set Theory (Pure and Applied Mathematics)
by Karel Hrbacek,Thomas Jech
ISBN 13: 9780824779153
Format: Hardcover (310 pages) Publisher: CRC Press Published: 22 Jun 1999
Save for later
Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)
by Thomas Jech
ISBN 13: 9783540440857
Format: Hardcover (772 pages) Publisher: Springer Published: 18 Oct 2002
Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)
by Shiu-Kai Chin,Susan Beth Older
ISBN 13: 9781584888628
Format: Hardcover (351 pages) Publisher: Chapman and Hall/CRC Published: 03 Aug 2010
A Framework for Priority Arguments (Lecture Notes in Logic)
by Manuel Lerman
ISBN 13: 9780521119696
Format: Hardcover (176 pages) Publisher: Cambridge University Press Published: 19 Apr 2010
Advances in Elliptic Curve Cryptography: Further Topics v. 2 (London Mathematical Society Lecture Note Series)
by
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
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
Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science)
ISBN 13: 9789400704305
Format: Hardcover (325 pages) Publisher: Springer Published: 26 Mar 2011
Logic in Elementary Mathematics
by Robert M. Exner,Myron F. Rosskopf
ISBN 13: 9780486482217
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 16 Jun 2011
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