Show simple item record

Mathematische Logik

dc.date.accessioned2019-02-13T13:23:37Z
dc.date.available2019-02-13T13:23:37Z
dc.date.issued1980
dc.identifier.urihttps://oda.mfo.de/handle/mfo/1190
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz3250968720
dc.identifier.doi10.14760/TB-1980-18
dc.identifier.archive-call-noE20/01696
dc.title8017
local.sortindex1129
local.date-range20.4. bis 26.4.1980
local.pages18 S.
local.workshopcode8017
local.workshoptitleMathematische Logik
local.organizersErnst Specker, Zürich; Walter Felscher, Tübingen
local.participantsE. Börger, Münster; H.-G. Carstens, Bielefeld; D. van Dalen, Utrecht; U. Felgner, Tübingen; W. Felscher, Tübingen; J. Y. Girard, Paris; K. Gloede, Heidelberg; G. Hasenjaeger, Bonn; W. Hoering, Tübingen; G. F. van der Hoeven, Amsterdam; M. Hülsermann, Münster; G. Jaeger, München; A. Jankowski, Warsaw; P. Koepke, Freiburg; H. Kotlarski, Warszawa; P. Krauss, Kassel; H. Läuchli, Zürich; H. Luckhardt, Frankfurt a. M.; A. R. D. Mathias, Freiburg; P. Päppinghaus, Hannover; H. Pfeiffer, Hannover; K.-P. Podewski, Hannover; W. Pohlers, München; K. Potthoff, Kiel; A. Prestel, Konstanz; C. Rauszer, Warsaw; W. Rautenberg, Berlin; M. M. Richter, Aachen; M. v. Rimscha, Stuttgart; B. Schlösser, Aachen; U. Schmerl, München; D. Schmidt, Karlsruhe; W. Schönfeld, Stuttgart; J. Schulte Mönting, Tübingen; W. Schwabhäuser, Stuttgart; W. Schwichtenberg, München; D. Siefkes, Berlin; E. Specker, Zürich; M. Stein, Münster; W. Thomas, Freiburg; A. S. Troelstra, Amsterdam; H. Volger, Tübingen; H.-D. Wunderlich, Münster
local.report-nameWorkshop Report 1980,18
local.gb-page-1232
local.gb-handle-1mfo/62
local.gb-link-text-1Guest Book No. 4: image 233 (page 228)
local.ba-page-1287
local.ba-handle-1mfo/166
local.ba-link-text-1Book of Abstracts No. 46: images 288 - 297 (pages 279 - 288)
local.ba-page-25
local.ba-handle-2mfo/165
local.ba-link-text-2Book of Abstracts No. 47: images 6 - 16 (pages 1 - 11)


Downloads

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record