Logic Textbooks

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Richard Zach Tue, 29 Sep 1992 19:31

#424

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads