Strengthening Parikh's theorem for weak systems of arithmetic

Bibliographische Detailangaben

1. Verfasser:	Jumelet, Marc D. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht
Schriftenreihe:	Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series 95
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!