Re: [HM] S.W. Steen
Boaz Tsaban (tsaban@macs.biu.ac.il)
Wed, 20 Jan 1999 22:37:52 +0200 (IST)
Walter Felscher wrote:
> S.W.P.Steen and his book
...
> For a reader, having been brought up on the current fare of books
> starting from a more model theoretical orientation (Mendelsson 1964,
> Bell & Machover 1967), Steen's book may appear as unusual and
> difficult. Indeed, it will hardly fit
The approach and notation in the mentioned books is old and difficult
to follow by modern readers. There is a very good book on Model and
Proof theory, which provides an elegant and accessible proof of G\"odel's
incompleteness theorem and related results:
Martin Goldstern and Haim Judah,
The Incompleteness Phenomenon: A new course in Mathematical Logic
1995 ISBN 1-56881-029-6 (about $50)
The book is available from the publisher:
A K Peters, LTD
289 Linden Street
Wellesley, MA 02181 USA
e-mail akpeters@tiac.net
To my subjective opinion, no course on Logic should be given without
consulting this book.
Boaz
--------------------------------------------------------------------------
Boaz Tsaban
--------------------------------------------------------------------------
Department of Mathematics, Bar Ilan University, 52900 Ramat-Gan, ISRAEL
Tel: (972-3) 5318407 Fax: (972-3) 535-3325 E-mail: tsaban@macs.biu.ac.il
Home page: http://www.cs.biu.ac.il:8080/~tsaban/
--------------------------------------------------------------------------