First-order logic / Raymond M. Smullyan |
Autore | Smullyan, Raymond M. |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1968 |
Descrizione fisica | xii, 158 p. ; 24 cm |
Disciplina | 511.3 |
Collana |
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 43
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 43 = A series of modern surveys in mathematics, 0071-1136 ; 43 |
Soggetto topico | First-order logic |
Classificazione | AMS 03B10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000895449707536 |
Smullyan, Raymond M. | ||
Berlin ; New York : Springer-Verlag, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
La logica nella scuola primaria. Tesi di laurea / laureanda Alessandra Liuzi ; relat. Eliana Francot |
Autore | Liuzzi, Alessandra |
Pubbl/distr/stampa | Lecce : Università del Salento. Facoltà di Scienze MM.FF.NN. Corso di laurea triennale in Matematica, a.a. 2016-17 |
Descrizione fisica | 43 p. : ill. ; 30 cm |
Disciplina | 510 |
Altri autori (Persone) | Francot, Eliana |
Soggetto topico | Logic |
Classificazione | AMS 03B10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991003579159707536 |
Liuzzi, Alessandra | ||
Lecce : Università del Salento. Facoltà di Scienze MM.FF.NN. Corso di laurea triennale in Matematica, a.a. 2016-17 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Sull'esistenza di modelli per teorie del primo ordine. Tesi di laurea / laureanda F. De Carlo ; relat. D. Lenzi |
Autore | De Carlo, Francesca |
Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1984-85 |
Altri autori (Persone) | Lenzi, Domenico |
Soggetto topico |
Classical first-order logic
General logic Model theory |
Classificazione |
AMS 03B
AMS 03B10 AMS 03C |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991001397679707536 |
De Carlo, Francesca | ||
Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1984-85 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|