Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 12 Oct 1993 06:54:25 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA09665;
          Mon, 11 Oct 93 22:21:57 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA09661; Mon, 11 Oct 93 22:21:39 -0700
Received: from LocalHost.cs.ucla.edu 
          by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA27975;
          Mon, 11 Oct 93 22:19:11 -0700
Message-Id: <9310120519.AA27975@maui.cs.ucla.edu>
To: info-hol@cs.uidaho.edu
Subject: Logic textbooks for beginners
Date: Mon, 11 Oct 93 22:19:10 PDT
From: chou@cs.ucla.edu

What are the better logic textbooks for computer science majors
at the freshman level?  I am particularly interested in those
books that not only talks about what one can *say* with logic 

formulas, but also illustrates how to *manipulate* logic formulas
in some formal system (say, natural deduction).  It would be
even better if there are accompanying softwares.  It's OK if
no "big" theorems (say, the completeness theorem) are proved.
But it is important for the book to discuss the relevance of
logic to computer science, preferably via convincing examples.

Please send your reply to:

    chou@cs.ucla.edu

Many thanks in advance!!!

Cheers,
Ching-Tsun Chou