Teoria della dimostrazione
Subtitle: normalizzazioni e assegnazioni di numeri ordinali
By: Carlo Cellucci.
Series: Testi e manuali della scienza contemporanea.
Publisher: Boringhieri
Published: 1978
Place of publication: Torino
Language: ita
Number of pages: 315
Subjects: Proof theory.; Numbers, Ordinal.
Notes: Includes index.