Rappresentabilità ed equipollenza di teorie assiomatiche (I)
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze (1969)
- Volume: 23, Issue: 4, page 635-655
- ISSN: 0391-173X
Access Full Article
topHow to cite
topReferences
top- [1] Kreisel G., Krivine J.L., Eléments de logique mathématique, Dnnod, Paris, 1967. Zbl0146.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. Zbl0258.02001MR244014