- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Jean Goubault-Larrecq and Ian Mackie. Proof theory and automated deduction. Applied logic series, vol. 6. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xv + 424 pp
Bulletin of Symbolic Logic 6 (1):94-95 (2000)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp.Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Proof theory of modal logic, edited by Heinrich Wansing, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp.Melvin Fitting - 1999 - Journal of Symbolic Logic 64 (4):1825-1828.
Jean Goubault-Larrecq & Ian Mackie, Proof Theory and Automated Deduction.A. Vellino - 1998 - International Studies in the Philosophy of Science 12 (3):290.
Defeasible deontic logic, edited by Nute Donald, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp. [REVIEW]Wiebe Van Der Hoek - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
Book Reviews. [REVIEW]Chrisoula Andreou, Andris Krumins, Brendan Larvor & Andre Vellino - 1998 - International Studies in the Philosophy of Science 12 (3):281-292.
Hájek Petr. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 pp.Francis Jeffry Pelletier - 2000 - Bulletin of Symbolic Logic 6 (3):342-346.
Directions in relevant logic, edited by Jean Norman and Richard Sylvan, Reason and argument, vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, xii + 453 pp. [REVIEW]N. C. A. da Costa - 1993 - Journal of Symbolic Logic 58 (4):1466-1468.
Richard L. Tieszen. Mathematical intuition. Phenomenology and mathematical knowledge. Synthese library, vol. 203. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, xv + 209 pp.Guillermo E. Rosado Haddock - 1991 - Journal of Symbolic Logic 56 (1):356-360.
Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, xii + 287 pp.Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-431.
Analytics
Added to PP
2013-11-21
Downloads
104 (#483,052)
6 months
15 (#804,438)
2013-11-21
Downloads
104 (#483,052)
6 months
15 (#804,438)
Historical graph of downloads
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation