A selection of papers presented at the Provability, Interpretability and Arithmetic Symposium 24 - 31 August 1991, Utrecht, Netherlands

Bibliographische Detailangaben

Körperschaft:	Provability, Interpretability and Arithmetic Symposium (VerfasserIn)
Weitere Verfasser:	Jongh, Dick de (HerausgeberIn)
Format:	UnknownFormat
Veröffentlicht:	Amsterdam u.a. North Holland 1993
Schriftenreihe:	Annals of pure and applied logic 61,1/2
Schlagworte:	Konferenzschrift > Arithmetik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!