[FOM] Book announcement: Logic Lectures by Goedel

[Milos Adzic]

Dear subscribers to FOM,




I would like to inform you that the critical edition of Kurt Goedel’s 1939
lecture notes on logic at the University of Notre Dame, edited by the late
Kosta Dosen and M. A., has been published by the *Logical Society*,
Belgrade.




*************


>From the covers:


An edited version is given of the text of Goedel's unpublished manuscript
of the notes for a course in basic logic he delivered at the University of
Notre Dame in 1939. Goedel's notes deal with what is today considered as
important logical problems par excellence, completeness, decidability,
independence of axioms, and with natural deduction too, which was all still
a novelty at the time the course was delivered. Full of regards towards
beginners, the notes are not excessively formalistic. Goedel presumably
intended them just for himself, and they are full of abbreviations. This
together with some other matters (like two versions of the same topic, and
guessing the right order of the pages) required additional effort to obtain
a readable edited version. Because of the quality of the material provided
by Goedel, including also important philosophical points, this effort
should however be worthwhile. The edited version of the text is accompanied
by another version, called the source version, which is quite close to
Goedel's manuscript. It is meant to be a record of the editorial
interventions involved in producing the edited version (in particular, how
the abbreviations were disabridged), and a justification of that later
version.


*************




The integral text of the edition is freely available in electronic form at:



https://arxiv.org/abs/1705.02601

https://hal.archives-ouvertes.fr/hal-01517931v2




Printed copies of the edition can also be ordered from the following
address:

http://dosije.rs/sr/knjige/udzbenici-i-prirucnici/1429-logic-lectures





With kind regards,




Milos Adzic

Faculty of Philosophy

University of Belgrade
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20171025/2ccef565/attachment.html>