Computation and Proof Theory Proceedings of the Logic Colloquium hel
- PDF / 25,934,822 Bytes
- 481 Pages / 468 x 684 pts Page_size
- 102 Downloads / 240 Views
1104 Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18-23,1983 Part II
Edited by M. M. Richter, E. Borger, W Oberschelp, B. Schinzel and W Thomas
Spri nger-Verlag Berlin Heidelberg New York Tokyo 1984
Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann
1104 Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18-23,1983 Part II
Edited by M. M. Richter, E. Borger, W Oberschelp, B. Schinzel and W Thomas
Spri nger-Verlag Berlin Heidelberg New York Tokyo 1984
Editors
Egon Borger Lehrstuhl fUr Informatik II, Universitat Dortmund Postfach 500500, 4600 Dortmund, Federal Republic of Germany Walter Oberschelp Lehrstuhl fur Angewandte Mathematik, insbesondere Informatik, RWTH Aachen Templergraben 57, 5100 Aachen, Federal Republic of Germany Michael M. Richter Lehrgebiet mathematische Grundlagen der Informatik, RWTH Aachen Templergraben 64, 5100 Aachen, Federal Republic of Germany Brigitta Schinzel Lehrgebiet Theoretische Informatik, RWTH Aachen Buchel 29-31,5100 Aachen, Federal Republic of Germany Wolfgang Thomas Lehrstuhl fur Informatik II, RWTH Aachen Buchel 29-31,5100 Aachen, Federal Republic of Germany
AMS Subject Classification (1980): 03Dxx, 03Fxx, 68Cxx ISBN 3-540-13901-X SpringerVeriag Berlin Heidelberg New York Tokyo ISBN 0-387-13901-X Springer-Verlag New York Heidelberg Berlin Tokyo This work IS subject to copynght. All nghts are reserved, whether the whole or part of the matenal is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to "Verwertungsgesellschaft Wort", Munich.
© by Springer-Verlag Berlin Heidelberg 1984 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. 2146/3140-543210
VORWORT
Dieser Band enthalt einen Teil der Proceedings des Logic Colloquium '83, welches vom 18.
23.
Juli 1983 in Aachen stattfand;
dies gleichzeitig der Europaische Symbolic Logic. dem
Ti tel
Insgesamt
and
das
Log; c
Zusatzlich
ebenfalls
"Special Sessions" Koppelberg),
Colloquium
zu
angemeldete
Analysis
Sets"
in
den
Lecture
Notes
in
des Springer-Verlages.
hatte
Landern. siebzig
Ein weiterer Band der Proceedings erscheint unter
"Models
Mathematics
es war
der Association for
'83
189
eingeladenen
Vortrage statt:
gehalten.
Modelltheorie
aus
Hauptvortragen
Ein
Teil
Boo Le ' sche Algebren
Topologische
Teilnehmer
(J.
davon
26
wurden fand
in
(organisiert von S. Flum) ,
(K.-H.Diener), Logic versus Computer Science
(E. Borger).
Abstracts aller angemeldeten Vortrage sowie eine vollstandige Liste aller eingeladenen Vortrage werden
im Bericht der Veranstalter im
Journal of Symbolic Logic veroffentlicht. Das
Logic
Colloquium
'83
wurde
e rmo g l i ch t
g r ofs zug i g e
durch
finanzielle Unterstutzung der Deutschen Forschungsgemeinschaft
