From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
by Henry Van Heigenoort
ISBN 13: 9780674324497
Format: Paperback (680 pages) Publisher: Harvard University Press Published: 01 Jul 1990
Save for later
Additive Cellular Automata Vol 1: Theory and Applications (Practitioners)
by Parimal Pal Chaudhuri
ISBN 13: 9780818677175
Format: Illustrated (368 pages) Publisher: John Wiley & Sons Published: 27 Jun 1997
Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)
by Jan Krajíek
ISBN 13: 9780521154338
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 23 Dec 2010
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540893295
Format: Paperback (343 pages) Publisher: Springer Published: 14 Nov 2008
Contributions to the Science of Text and Language: Word Length Studies and Related Issues (Text, Speech and Language Technology)
ISBN 13: 9781402040696
Format: Paperback (352 pages) Publisher: Springer Published: 18 Oct 2007
Banach Spaces and Descriptive Set Theory: Selected Topics (Lecture Notes in Mathematics)
by Pandelis Dodos
ISBN 13: 9783642121524
Format: Paperback (170 pages) Publisher: Springer Published: 11 May 2010
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, ... / Programming and Software Engineering)
ISBN 13: 9783540897774
Format: Paperback (227 pages) Publisher: Springer Published: 01 Dec 2008
Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540852865
Format: Paperback (512 pages) Publisher: Springer Published: 13 Aug 2008
Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540855019
Format: Paperback (632 pages) Publisher: Springer Published: 26 Aug 2008
Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science)
ISBN 13: 9783642119279
Format: Paperback (352 pages) Publisher: Springer Published: 18 Feb 2010
Incompleteness in the Land of Sets (Studies in Logic)
by M. Fitting
ISBN 13: 9781904987345
Format: Paperback (156 pages) Publisher: College Publications Published: 19 Feb 2007
Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))
ISBN 13: 9781904987291
Format: Paperback (300 pages) Publisher: College Publications Published: 05 Dec 2006