Logic Textbooks

Article View: sci.logic

Article #424

#424

From: Richard Zach
Date: Tue, 29 Sep 1992 19:31

18 lines
1243 bytes

I will hold an informal information get-together
with freshmen logic majors. Basic logic education is
pretty poor and disorganized in Vienna, and
I'd like to give the kids there tips on what to
read as introduction to logic. It should
be modern (ie not Hilbert-Ackermann), it
should have a slight proof-theoretic bias
(ie contain sequent calculus, natural deduction,
cut elimination etc., preferably also
resolution), and preferably it should be in
print (ie not Shoenfield). Pointers to sections *in*
books and survey articles etc. appreciated as well.
Please email me, I'll post a summary.

-- 
Richard Zach                      [zach@csdec1.tuwien.ac.at]
Technische Universitaet Wien, Institut fuer Computersprachen
Resselgasse 3/185.2,     A-1040 Vienna,       Austria/Europe

Technical Details

Message-ID: <1992Sep29.193120.13920@email.tuwien.ac.at>

Path: arc1-ca.pugleaf.net!sparky!uunet!email!mips.complang.tuwien.ac.at!rz

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!email!mips.complang.tuwien.ac.at!rz
From: rz@mips.complang.tuwien.ac.at (Richard Zach)
Subject: Logic Textbooks
Message-ID: <1992Sep29.193120.13920@email.tuwien.ac.at>
Followup-To: poster
Sender: news@email.tuwien.ac.at
Nntp-Posting-Host: mips.complang.tuwien.ac.at
Reply-To: zach@csdec1.tuwien.ac.at
Organization: Technische Universit"at Wien
Date: Tue, 29 Sep 1992 19:31:20 GMT
Lines: 18