Graduate studies at Western
Dov M. Gabbay (ed.)
Oxford University Press (1994)
|Abstract||This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics.|
|Keywords||Logic, Symbolic and mathematical Computer science|
|Categories||categorize this paper)|
|Buy the book||$48.92 used (76% off) $49.95 new (75% off) $178.18 direct from Amazon (11% off) Amazon page|
|Call number||QA9.2.W48 1994|
|Through your library||Configure|
Similar books and articles
Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
Richard Bornat (2005). Proof and Disproof in Formal Logic: An Introduction for Programmers. New Yorkoxford University Press.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
John Venn (1894/1971). Symbolic Logic. New York,B. Franklin.
G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) (1995). Conditionals: From Philosophy to Computer Science. Oxford University Press.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
Added to index2009-01-28
Total downloads16 ( #81,761 of 723,483 )
Recent downloads (6 months)4 ( #20,425 of 723,483 )
How can I increase my downloads?