Coerenza e completezza delle teorie elementari
Subtitle: la metateoria dei sistemi formali nella scuola hilbertiana
By: Mauro Mariani, Enrico Moriconi ; [le traduzioni delle memorie pubblicate in appendice sono di Enrico Moriconi].
Contributors: Moriconi, Enrico, 1950-
Series: Biblioteca di "Teoria" ;; 3
Publisher: ETS
Published: 1984
Place of publication: Pisa
Language: ita
Number of pages: 269