Arithmetic analogues of McAloon's unique Rosser sentences:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Smoryński, Craig 1947- (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Utrecht 1988
Schriftenreihe:Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series 36
Beschreibung:26 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!