Informes
22/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: Conversations incl. A MacIntyre / Harold Pfeiffer: Mahlo-structures for defining ordinals / Valerii Plisko: A formalisation of the Tennenbaum's theorem & it's applications to modified realizability & the Gödel interpretation