|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991001397679707536 |
|
|
Autore |
De Carlo, Francesca |
|
|
Titolo |
Sull'esistenza di modelli per teorie del primo ordine. Tesi di laurea / laureanda F. De Carlo ; relat. D. Lenzi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1984-85 |
|
|
|
|
|
|
|
|
|
Classificazione |
|
AMS 03B |
AMS 03B10 |
AMS 03C |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Classical first-order logic |
General logic |
Model theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |