College Publications

Other ISBN ranges for College Publications: College Publications (978-0-9543006-...) · College Publications (978-1-84890-...)

year of pub­li­ca­ti­onISBNauthor(s)title
2005978-1-904987-00-0David MakinsonBridges from Classical to Nonmonotonic Logic (Texts in Computing S.)
  ''978-1-904987-04-8Vincent F. HendricksLogical Lyrics: From Philosophy to Poetics
2004978-1-904987-06-2Kosta Dosen · Zoran PetricProof-Theoretical Coherence (Studies in Logic (logic & Cognitive Systems))
2005978-1-904987-08-6Jaakko HintikkaKnowledge and Belief: An Introduction to the Logic of the Two Notions
  ''978-1-904987-09-3Vincent F. Hendricks500CC Computer Citations
2009978-1-904987-14-7Kenneth KunenThe Foundations of Mathematics (Logic S.)
2006978-1-904987-17-8Patrick Blackburn · Johan Bos · Kristina StriegnitzLearn PROLOG Now! (Texts in Computing)
2005978-1-904987-21-5P. Hajek · L. Valdes-Villanueva · D. WesterstahlLogic, Methodology and Philosophy of Science
  ''978-1-904987-22-2R. Schmidt · I. Pratt-Hartmann · M. ReynoldsAdvances in Modal Logic, Volume 5 (CSLI Lecture Notes (Paperback))
2006978-1-904987-23-9L. MagnaniModel Based Reasoning in Science and Engineering (Logic S.)
2005978-1-904987-24-6L. Magnani · R. DossenaComputing, Philosophy and Cognition (Texts in Philosophy S.)
2006978-1-904987-25-3S. Artemov · H. Barringer · A. S. d'Avila Garcez · L. C. Lamb · J. WoodsWe Will Show Them! Essays in Honour of Dov Gabbay. Volume 1
2005978-1-904987-26-0S Artemov · H. Barringer · A. S. d'Avila Garcez · L. C. Lamb · J. WoodsWe Will Show Them: Essays in Honour of Dov Gabbay. Volume 2
2007978-1-904987-28-4B. LoeweAlgebra, Logic, Set Theory: Festscrift Fur Ulrich Felgner Zum 65. Geburtstag (Studies in Logic (logic & Cognitive Systems))
  ''978-1-904987-34-5M. FittingIncompleteness in the Land of Sets (Studies in Logic)
2007978-1-904987-39-0D. M. GabbayLogic for Artificial Intelligence and Information Technology (Texts in Computer Science)
  ''978-1-904987-43-7Francesco BertoHow to Sell a Contradiction: The Logic and Metaphysics of Inconsistency (Studies in Logic)
  ''978-1-904987-52-9P. Blackburn · J. Bos · K. StriegnitzPROLOG, Tout de Suite! (Cahiers)
  ''978-1-904987-53-6K. Engesser · D. M. Gabbay · D. LehmannA New Approach to Quantum Logic (Studies in Logic)
2009978-1-904987-54-3John L. Bell · J. L. BellThe Axiom of Choice (Studies in Logic Series)
2008978-1-904987-56-7D. M. Gabbay · R. Schmidt · A. SzalasSecond Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations)
2009978-1-904987-71-0Saharon ShelahClassification Theory for Abstract Elementary Classes (Studies in Logic Series)
  ''978-1-904987-72-7Saharon ShelahClassification Theory for Abstract Elementary Classes: Volume 2 (Studies in Logic Series)
2007978-1-904987-73-4J. Y. Beziau · W. Carnielli · D. M. GabbayHandbook of Paraconsistency (Studies in Logic (logic & Cognitive Systems))
2007978-1-904987-75-8S. Bold · B. Loewe · T. RaschFoundations of the Formal Sciences V: Infinite Games: Infinite Games v. 5 (Studies in Logic)
2008978-1-904987-83-3Daniel ZingaroInvariants: A Generative Approach to Programming: A Generative Appraoch to Programming (Texts in Computer Science)
  ''978-1-904987-88-8A. Sernadas · C. SernadasFoundations of Logic and Theory of Computation (Texts in Computing)
  ''978-1-904987-89-5P. GardenforsKnowledge in Flux: Modeling the Dynamics of Epistemic States (Studies in Logic: Mathematical Logic and Foundations)
  ''978-1-904987-96-3Robin Cooper · Ruth KempsonLanguage in Flux: Dialogue Coordination, Language Variation, Change and Evolution (Communication, Mind, and Language)