Rappresentabilità ed equipollenza di teorie assiomatiche (I)

Flavio Previale

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze (1969)

  • Volume: 23, Issue: 4, page 635-655
  • ISSN: 0391-173X

How to cite

top

Previale, Flavio. "Rappresentabilità ed equipollenza di teorie assiomatiche (I)." Annali della Scuola Normale Superiore di Pisa - Classe di Scienze 23.4 (1969): 635-655. <http://eudml.org/doc/83510>.

@article{Previale1969,
author = {Previale, Flavio},
journal = {Annali della Scuola Normale Superiore di Pisa - Classe di Scienze},
keywords = {general logic},
language = {ita},
number = {4},
pages = {635-655},
publisher = {Scuola normale superiore},
title = {Rappresentabilità ed equipollenza di teorie assiomatiche (I)},
url = {http://eudml.org/doc/83510},
volume = {23},
year = {1969},
}

TY - JOUR
AU - Previale, Flavio
TI - Rappresentabilità ed equipollenza di teorie assiomatiche (I)
JO - Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
PY - 1969
PB - Scuola normale superiore
VL - 23
IS - 4
SP - 635
EP - 655
LA - ita
KW - general logic
UR - http://eudml.org/doc/83510
ER -

References

top
  1. [1] Kreisel G., Krivine J.L., Eléments de logique mathématique, Dnnod, Paris, 1967. Zbl0146.00703
  2. [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

NotesEmbed ?

top

You must be logged in to post comments.