Rappresentabilità ed equipollenza di teorie assiomatiche (I)
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Serie 3, Volume 23 (1969) no. 4, p. 635-655
@article{ASNSP_1969_3_23_4_635_0,
     author = {Previale, Flavio},
     title = {Rappresentabilit\`a ed equipollenza di teorie assiomatiche (I)},
     journal = {Annali della Scuola Normale Superiore di Pisa - Classe di Scienze},
     publisher = {Scuola normale superiore},
     volume = {Ser. 3, 23},
     number = {4},
     year = {1969},
     pages = {635-655},
     zbl = {0188.31901},
     mrnumber = {258607},
     language = {it},
     url = {http://www.numdam.org/item/ASNSP_1969_3_23_4_635_0}
}
Previale, Flavio. Rappresentabilità ed equipollenza di teorie assiomatiche (I). Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Serie 3, Volume 23 (1969) no. 4, pp. 635-655. http://www.numdam.org/item/ASNSP_1969_3_23_4_635_0/

[1] Kreisel G., Krivine J.L., Eléments de logique mathématique, Dnnod, Paris, 1967. | Zbl 0146.00703

[2] Previale F., Introduzione a una teoria generale della rappresentazione per le teorie assiomatiche, Memoria dell'Accad. d. Scienze di Torino, Cl. Sc. Fis. Mat. Nat., Serie 4a, n. 6, 1968. | MR 244014 | Zbl 0258.02001