7405
Intuitionistische Metamathematik
| dc.date.accessioned | 2019-02-13T14:00:27Z | |
| dc.date.available | 2019-02-13T14:00:27Z | |
| dc.date.issued | 1974 | |
| dc.identifier.uri | https://oda.mfo.de/handle/mfo/1502 | |
| dc.identifier.urn | urn:nbn:de:bsz:frei3c-oda-bsz3251035935 | |
| dc.identifier.doi | 10.14760/TB-1974-5 | |
| dc.identifier.archive-call-no | E20/01385 | |
| dc.title | 7405 | |
| local.sortindex | 1441 | |
| local.date-range | 27.1. bis 2.2.1974 | |
| local.pages | 4 S. | |
| local.workshopcode | 7405 | |
| local.workshoptitle | Intuitionistische Metamathematik | |
| local.organizers | Gert H. Müller; Heidelberg; Anne Sjerp Troelstra, Oxford/Amsterdam | |
| local.participants | H. 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-name | Workshop Report 1974,5 | |
| local.gb-page-1 | 194 | |
| local.gb-handle-1 | mfo/63 | |
| local.gb-link-text-1 | Guest Book No. 3: image 195 (page 190) | |
| local.ba-page-1 | 165 | |
| local.ba-handle-1 | mfo/186 | |
| local.ba-link-text-1 | Book of Abstracts No. 26: images 166 - 169 (pages 161 - 164) |
Downloads
