| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991000797079707536 |
|
|
Autore |
Fraisse, Roland |
|
|
Titolo |
Cours de logique mathématique / Roland Fraisse |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris : Gauthier-Villars, 1971-1972 |
|
|
|
|
|
|
|
Edizione |
[2me éd. rev. et modif] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 23 |
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 24 |
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 25 |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematical logic-textbooks |
Model theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Contents: T. 1: Relation et formule logique ; T. 2: Théorie des modèles ; T. 3: Récursivité et constructibilitè |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991001780029707536 |
|
|
Autore |
Salcedo Ferrándiz, Salvador |
|
|
Titolo |
Estudio histórico-jurídico de la Albufera de Valencia y de sus aprovechamientos / Salvador Salcedo Ferrándiz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Castellón de la Plana : [Sociedad Castellonense de Cultura], 1957 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Valenza <Spagna> Coste Legislazione |
Valenza <Spagna> Coste Storia |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |