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
Sprache:	eng
Veröffentlicht:	Amsterdam North-Holland 1993
Schriftenreihe:	Annals of pure and applied logic 61,1/2 : Special issue
Schlagworte:	Konferenzschrift > Arithmetik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!