Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)
by Sergei N. Artemov, Anil Nerode
ISBN 13: 9783540727323
Format: Illustrated (528 pages) Publisher: Springer Published: 22 Feb 2009
Save for later
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)
by Philippe Audebaud
ISBN 13: 9783540705932
Format: Paperback (436 pages) Publisher: Springer Published: 15 Aug 2008
A Course in Formal Languages, Automata and Groups (Universitext)
by Ian M. Chiswell
ISBN 13: 9781848009394
Format: Paperback (157 pages) Publisher: Springer Published: 06 Feb 2009
Logic
by Wilfrid Hodges
ISBN 13: 9780141003146
Format: Paperback (304 pages) Publisher: Penguin Published: 29 Nov 2001 Other Format: Paperback
Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
by Andrea Corradini, Ugo Montanari
ISBN 13: 9783642034282
Format: Paperback (352 pages) Publisher: Springer Published: 07 Sep 2009
mural: A Formal Development Support System: A Formal Development Support System
by C.B. Jones,B. Ritchie A.C.
ISBN 13: 9783540196518
Format: Illustrated (440 pages) Publisher: Springer Published: 04 Oct 2013
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II): A Course with Exercises Part II: ... Godel's Theorems, Set Theory, Model Theory
by Rene Cori,Donald H. Pelletier,Daniel Lascar
ISBN 13: 9780198500506
Format: Paperback (352 pages) Publisher: Oxford University Press, USA Published: 12 Apr 2001
Logic For Dummies
by Zegarelli, Mark Mark Zegarelli,
ISBN 13: 9780471799412
Format: paperback Publisher: For Dummies
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)
by
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings: 8th Annual Conference, ... Computer Science and General Issues)
ISBN 13: 9783642208768
Format: Paperback (579 pages) Publisher: Springer Published: 03 May 2011
Axiom of Choice (Lecture Notes in Mathematics)
by Horst Herrlich
ISBN 13: 9783540309895
Format: Paperback (208 pages) Publisher: Springer Published: 11 May 2006