Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)
by Robert Goldblatt
ISBN 13: 9780937073940
Format: Paperback (180 pages) Publisher: Cambridge University Press Published: 01 Jun 1992
Save for later
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by
ISBN 13: 9783642006586
Format: Paperback (269 pages) Publisher: Springer Published: 22 Apr 2009
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642017476
Format: Paperback (245 pages) Publisher: Springer Published: 12 May 2009
Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642023477
Format: Paperback (391 pages) Publisher: Springer Published: 09 Jun 2009
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise,Lawrence Moss
ISBN 13: 9781575860084
Format: Paperback (390 pages) Publisher: Cambridge University Press Published: 13 Jul 1996
Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981 (Lecture Notes in Mathematics)
ISBN 13: 9783540119616
Format: Paperback (322 pages) Publisher: Springer Published: 01 Dec 1982
The Law of Non-Contradiction: New Philosophical Essays
ISBN 13: 9780199204199
Format: Paperback (456 pages) Publisher: Clarendon Press Published: 30 Nov 2006
Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)
by David M. Bressoud
ISBN 13: 9780521666466
Format: Paperback (274 pages) Publisher: Cambridge University Press Published: 13 Aug 1999
An Introduction to Probability and Inductive Logic
by Ian Hacking
ISBN 13: 9780521772877
Format: Hardcover (320 pages) Publisher: Cambridge University Press Published: 02 Jul 2001 Other Format: Paperback
Aggregation Functions (Encyclopedia of Mathematics and its Applications)
by Michel Grabisch,Jean-Luc Marichal,Radko Mesiar,Endre Pap
ISBN 13: 9780521519267
Format: Hardcover (478 pages) Publisher: Cambridge University Press Published: 09 Jul 2009
Algebraic K-Theory (Modern Birkhäuser Classics)
by Vasudevan Srinivas
ISBN 13: 9780817647360
Format: Paperback (342 pages) Publisher: Birkhauser Published: 29 Nov 2007
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002