AiML Algorithmics Cahiers de Logique et d'Épistémologie Communication, Mind and Language Computing Cuadernos de lógica, epistemología y lenguaje Filosofia Philosophy Research in Computational Semantics Studies in logic Mathematical logic and foundations Logic and cognitive systems Tributes Other Information for authors About us   Logic and cognitive systems Back Series edited by D. Gabbay, J. Siekmann, J. van Benthem, J. Woods Volume 9: Handbook of Paraconsistency Edited by Jean-Yves Beziau (acute accent on e of Beziau), Walter Carnielli and Dov Gabbay ISBN 978-1-904987-73-4 View Details Volume 10: Automated Reasoning in Higher-Order Logic Set Comprehension and Extensionality in Church's Type Theory Chad E. Brown ISBN: 1-904987-56-7 View Details

© 2005–2008 College Publications / VFH webmaster