Books listed by ISBN

College Publications

year of publication	ISBN	author(s)	title
2005	978-1-904987-00-0	David Makinson	Bridges from Classical to Nonmonotonic Logic (Texts in Computing)
''	978-1-904987-04-8	Vincent F. Hendricks	Logical Lyrics: From Philosophy to Poetics
''	978-1-904987-08-6	Jaakko Hintikka · Vincent F. Hendricks · John Symons	Knowledge and Belief: An Introduction to the Logic of the Two Notions
''	978-1-904987-09-3	Vincent F. Hendricks	500 CC: Computer Citations
2006	978-1-904987-17-8	Patrick Blackburn · Johan Bos · Kristina Striegnitz	Learn Prolog Now!
2005	978-1-904987-21-5	Petr Hajek · Luis Valdes-Villanueva · Dag Westerstahl	Logic, Methodology and Philosophy of Science
''	978-1-904987-22-2	R. Schmidt · I. Pratt-Hartmann · M. Reynolds · H. Wansing	Advances in Modal Logic: v. 5
2006	978-1-904987-23-9	Lorenzo Magnani	Model Based Reasoning in Science and Engineering (Logic)
2005	978-1-904987-24-6	Lorenzo Magnani · R. Dossena	Computing, Philosophy and Cognition (Texts in Philosophy)
2006	978-1-904987-25-3	S. Artemov · H. Barringer · A. S. d'Avila Garcez · L. C. Lamb · J. Woods	We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1
2005	978-1-904987-26-0	S Artemov · H. Barringer · A. S. d'Avila Garcez · L. C. Lamb · J. Woods	We Will Show Them! Essays in Honour of Dov Gabbay. Volume 2
2007	978-1-904987-28-4	Benedikt Loewe	Algebra, Logic, Set Theory: Festscrift Fur Ulrich Felgner Zum 65. Geburtstag (Studies in Logic (logic & Cognitive Systems))
2007	978-1-904987-34-5	M. Fitting	Incompleteness in the Land of Sets (Studies in Logic)
''	978-1-904987-39-0	Dov M. Gabbay	Logic for Artificial Intelligence and Information Technology (Texts in Computer Science)
''	978-1-904987-52-9	Patrick Blackburn · Johan Bos · Kristina Streignitz	Prolog, Tout De Suite! (Cahiers)
''	978-1-904987-53-6	Kurt Engesser · Dov M. Gabbay · Daniel Lehmann	A New Approach to Quantum Logic (Studies in Logic)
2008	978-1-904987-83-3	Daniel Zingaro	Invariants: A Generative Appraoch to Programming (Texts in Computer Science)