**Subject: **Proc. vs. Book

**From: **Kurt Gödel Society (*kgs@logic.at*)

**Date: **Mon Dec 22 1997 - 13:28:14 MET

**sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Next message:**Helmut Veith : "April 30: H. Vollmer"**Previous message:**Kurt Goedel Society: "newslett97.ps"

Dear members of the Kurt G"odel Society,

we are glad to give you the possibility to obtain one of the following

two items for free:

*) Proceedings of the 5th Kurt G"odel Colloquium --- Computational

Logic and Proof Theory, published by Springer-Verlag Wien.

*) Book "Kurt G"odel - Ein mathematischer Mythos" by Werner

DePauli-Schimanovich and Peter Weibel together with a videotape

produced by the Austrian Broadcasting Corporation ORF.

The Proceedings incorporate very interesting articles on a varied

range of topics in logic and computer science. The focus of the

Conference - "Computational Logic and Proof Theory" - has attracted

a lot of researchers tackling classical problems and finding new

methods for long known questions in the field. There were seven

invited lectures held by international renowned researchers

(Leo Bachmair, Wilfried Buchholz, Samuel R. Buss, Walter A. Carnielli

and P. R. S. Veloso, John A. Robinson, Tanel Tammet, Jerzy Tiuryn)

and twenty contributed lectures.

The book on Kurt G"odel deals with his life and work from a

popular view and describes the various connections with politics,

art and other sciences. If you choose the book you will get a

videotape on Kurt G"odel produced by the ORF as an additional

present. This is a production broadcasted by the ORF some time

ago and it is of artistic as well as informative merit. It should

be noted that both the book and the videotape are in german.

We ask you to reply as fast as possible, but not later than

end of january, with the following form either by email

to kgs@logic.at or by surface mail to

Kurt G"odel Society

c/o Technische Universit"at Wien

Institut f"ur Computersprachen E185.2

Resselgasse 3/1

A-1040 Vienna

Austria

Enclosed you find this information in LaTeX format, on the

occassion that you want to print it. Moreover, this document is

available through our homepage http://www.logic.at/kgs/home.html.

MERRY CHRISTMAS and a HAPPY NEW YEAR

-------------------------------------------------------------------

I wish to obtain the

[ ] Proceedings of the 5th Kurt G"odel Colloquium

[ ] Book "Kurt G"odel - Ein mathematischer Mythos" and the

videotape accompanying this book.

-------------------------------------------------------------------

- application/x-tex attachment: proc-book-brief.tex

**Next message:**Helmut Veith : "April 30: H. Vollmer"**Previous message:**Kurt Goedel Society: "newslett97.ps"

*
This archive was generated by hypermail 2b25
: Thu Apr 06 2000 - 16:19:20 MET DST
*