Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
First-order logic / Raymond M. Smullyan
| 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
| 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
| 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 | ||
| ||