Show simple item record

Mathematische Logik

dc.date.accessioned2019-02-13T12:12:45Z
dc.date.available2019-02-13T12:12:45Z
dc.date.issued1995
dc.identifier.urihttps://oda.mfo.de/handle/mfo/390
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz32509358x4
dc.identifier.doi10.14760/TB-1995-13
dc.identifier.archive-call-noE20/02494
dc.title9514
local.sortindex329
local.date-range02.04. - 08.04.1995
local.pages17 S.
local.workshopcode9514
local.workshoptitleMathematische Logik
local.organizersWalter Felscher, Tübingen; Helmut Schwichtenberg, München; Anne Sjerp Troelstra, Amsterdam
local.participantsWalter Felscher; Sergei N. Artemov; Lev D. Beklemishev; Ulrich Berger; Egon Börger; Wilfried Buchholz; Thierry Coquand; Dirk van Dalen; Justus Diller; Peter Dybjer; Lew Gordeew; Jörg Hudelmaier; Gerhard Jäger; Ulrich Kohlenbach; Horst Luckhardt; Simone Martini; Grigori Mints; Ieke Moerdijk; Joan Rand Moschovakis; Yiannis N. Moschovakis; Daniele Mundici; Piergiorgio Odifreddi; Erik Palmgren; Michel Parigot; Wolfram Pohlers; Michael Rathjen; Laurent Regnier; Simona Ronchi Della Rocca; Harold A.J.M. Schellinx; Helmut Schwichtenberg; Anton G. Setzer; Ernst Specker; Robert F. Stärk; Viggo Stoltenberg-Hansen; Thomas Strahm; Gaisi Takeuti; Anne S. Troelstra; Albert Visser; Stanley S. Wainer; Andreas Weiermann; Piotr Wojtylak
local.report-nameWorkshop Report 1995,13
local.ba-page-1280
local.ba-handle-1mfo/104
local.ba-link-text-1Book of Abstracts No. 108: images 281 - 293 (pages 276 - 288)
local.ba-page-25
local.ba-handle-2mfo/103
local.ba-link-text-2Book of Abstracts No. 109: images 6 - 15 (pages 1 - 10)


Downloads

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record