Zur Kurzanzeige

Mathematische Logik

dc.date.accessioned2019-02-13T13:01:13Z
dc.date.available2019-02-13T13:01:13Z
dc.date.issued1982
dc.identifier.urihttps://oda.mfo.de/handle/mfo/1086
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz3250973803
dc.identifier.doi10.14760/TB-1982-16
dc.identifier.archive-call-noE20/01800
dc.title8216
local.sortindex1025
local.date-range18.4. bis 23.4.1982
local.pages19 S.
local.workshopcode8216
local.workshoptitleMathematische Logik
local.organizersWalter Felscher, Tübingen; Helmut Schwichtenberg, München
local.participantsP. Aczel, Manchester; D. S. Bridges, Buckingham; K. Ambos-Spies, Dortmund; W. Buchholz, München; H. P. Barendregt, Utrecht; H. G. Carstens, Bielefeld; B. Benninghofen, Aachen; D. van Dalen, Utrecht; S. Berestovoy, Mexico; W. Felscher, Tübingen; E. Börger, Dortmund; J. Flum, Freiburg; J.-Y. Girard, Paris; S. Koppelberg, Berlin; R. J. Grayson, Münster; H. Kotlarski, Warszawa; G. Hasenjaeger, Bonn; K. Koymans, Utrecht; W. Hodges, London; P. Krauss, Kassel; W. Hoering, Tübingen; H. Läuchli, Zürich; G. Jäger, München; H. Luckhardt, Frankfurt; J. D. Monk, Boulder; H. Pfeiffer, Hannover; A. W. Mostowski, Gdansk; W. Pohlers, München; G. H. Müller, Heidelberg; K. Potthoff, Kiel; D. Normann, Oslo; W. Rautenberg, Berlin; H. Osswald, München; G. R. Renardel de Lavalette, Amsterdam; P. Päppinghaus, Hannover; M. Rodriguez Artalejo, Madrid; B. Scarpellini, Basel; J. Smith, Göteborg; U. Schmerl, München; E. Specker, Zürich; Schulte Mönting, Tübingen; B. G. Sundholm, Nijmegen; W. Schwabhäuser, Stuttgart; W. Thomas, Freiburg; H. Schwichtenberg, München; A. S. Troelstra, Amsterdam; E. Sibille, Hanterre
local.report-nameWorkshop Report 1982,16
local.ba-page-1207
local.ba-handle-1mfo/158
local.ba-link-text-1Book of Abstracts No. 54: images 207 - 233 (pages 203 - 229)


Downloads

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige