Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation

Bibliographische Detailangaben

Weitere Verfasser:	Artemov, Serggei (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	Amsterdam u.a. North-Holland 1995
Schriftenreihe:	Annals of pure and applied logic 75.1995,1/2
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!