%
% File: proc-book-brief.tex
% Date: Thu Nov 27 12:27:43 1997
% Author: Norbert Preining (preining)
%
% Description:
%
%
\documentclass[12pt]{article}
\pagestyle{empty}
\usepackage{a4}
% no indentaton
\parindent0pt
\parskip=4pt plus1pt
\def\KG{Kurt G\"odel}
\def\KGS{\KG\ Society}
\def\th{$^{\mbox{th}}$}
%
% begin document
%
\begin{document}
\noindent
Dear members of the \KGS,
we are glad to give you the possibility to
obtain one of the following two items for free:
\begin{itemize}
\item Proceedings of the 5\th\ \KG\ Colloquium --- Computational Logic
and Proof Theory, published by Springer-Verlag Wien.
\item Book ``\KG\ --- Ein mathematischer Mythos'' by Werner
DePauli-Schimanovich and Peter Weibel together with a videotape
produced by the Austrian Broadcasting Corporation ORF.
\end{itemize}
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 \KG\ 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 \KG\
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~\texttt{kgs@logic.at} or by surface mail to
\begin{verse}
\KGS\\
c/o Technische Universit\"at Wien\\
Institut f\"ur Computersprachen E185.2 \\
Resselgasse 3/1 \\
A-1040 Vienna \\
Austria
\end{verse}
\vspace{1cm}
\begin{center}MERRY CHRISTMAS and a HAPPY NEW YEAR\end{center}
\hrule\vskip10pt
I wish to obtain the
\begin{verse}
$[\kern 7pt ]$ Proceedings of the 5th Kurt G\"odel Colloquium\\
$[\kern 7pt ]$ Book ``Kurt G\"odel --- Ein mathematischer Mythos''
and the videotape accompanying this book.
\end{verse}
\hrule
\end{document}