A selection of papers presented at the provability, interpretability and arithmetic symposium, 24-31 August 1991, Utrecht, Netherlands
By: guesteditors: Dick de Jongh, Albert Visser.
Contributors: De Jongh, Dick.; Visser, Albert.
Series: Annals of pure and applied logic -- vol.61, nos.1-2
Publisher: North-Holland
Published: 1993
Place of publication: London
Language: eng