Show simple item record

Intuitionistische Metamathematik

dc.date.accessioned2019-02-13T14:00:27Z
dc.date.available2019-02-13T14:00:27Z
dc.date.issued1974
dc.identifier.urihttps://oda.mfo.de/handle/mfo/1502
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz3251035935
dc.identifier.doi10.14760/TB-1974-5
dc.identifier.archive-call-noE20/01385
dc.title7405
local.sortindex1441
local.date-range27.1. bis 2.2.1974
local.pages4 S.
local.workshopcode7405
local.workshoptitleIntuitionistische Metamathematik
local.organizersGert H. Müller; Heidelberg; Anne Sjerp Troelstra, Oxford/Amsterdam
local.participantsH. Barendregt, Utrecht; S. Bernini, Frankfurt; G. Bitsch, Tübingen; J. E. Bridge, Oxford; W. Buchholz, München; H. G. Carstens, Hannover; D. van Dalen, Utrecht; J. Diller, Münster; M. Dummett, Oxford; W. Felscher, Tübingen; P. G. Hancock, Oxford; D. R. Isaacson, Oxford; D. H. J. de Jongh, Amsterdam; G. Leversha, Manchester; E. G. K. Lopez-Escobar, Nijmegen; H. Luckhardt, Frankfurt; W. Maasz, München; P. Martin-Löf, Stockholm; G. H. Müller, Heidelberg; H. Osswald, München; H. Pfeiffer, Hannover; D. Prawitz, Oslo; P. Rath, Münster; B. Scarpellini, Basel; D. Schmidt, Wehrheim; R. Schoenberger, Basel; H. Schwichtenberg, Münster; C. A. Smorynski, Amsterdam; M. Stein, Münster; A. S. Troelstra, Oxford; H. Vogel, Münster; E. Wiedmer, Zürich
local.report-nameWorkshop Report 1974,5
local.gb-page-1194
local.gb-handle-1mfo/63
local.gb-link-text-1Guest Book No. 3: image 195 (page 190)
local.ba-page-1165
local.ba-handle-1mfo/186
local.ba-link-text-1Book of Abstracts No. 26: images 166 - 169 (pages 161 - 164)


Downloads

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record