Computer-Based Introduction to Formal Logic [Book Review]

Teaching Philosophy 24 (3):255-278 (2001)
  Copy   BIBTEX

Abstract

Computer-based Introduction to Formal Logic

Categories

Keywords

Reprint years

ISBN(s)

01455788

DOI

10.5840/teachphil200124332

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof and disproof in formal logic: an introduction for programmers.Richard Bornat - 2005 - New York: Oxford University Press.
Introduction to Logic.Paul Herrick - 2012 - Oxford, England and New York, NY, USA: Oup Usa.
Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling.David S. Robertson & Jaume Agustí - 1999 - Addison-Wesley Professional.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Logic and Argument Analysis: An Introduction to Formal Logic and Philosophic Method (REVISED).Preston K. Covey - unknown
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
Philosophical Logic: An Introduction to Advanced Topics, by George Englebretsen and Charles Sayward. [REVIEW]Chad Carmichael - 2013 - Teaching Philosophy 36 (4):420-423.
Dialogue Games in Multi-Agent Systems.Peter McBurney & Simon Parsons - 2002 - Informal Logic 22 (3).
An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.
Formal Methods and Certainty: The Case of Computational Logic Inc.Eloína Peláez & Edinburgh Pict - 1994
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning.Tom Richards - 1989 - Addison Wesley Publishing Company.
Leibnizjańskie inspiracje informatyki.Kazimierz Trzęsicki - 2006 - Filozofia Nauki 3.
The Relation between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
Logic with trees: an introduction to symbolic logic.Colin Howson - 1997 - New York: Routledge.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.

Analytics

Added to PP
2011-01-09

Downloads
51 (#298,901)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Byron
Kent State University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references