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.
Méthode axiomatique et formalisme : essai sur le problème du fondament des mathématiques / Jean Cavaillés
| Méthode axiomatique et formalisme : essai sur le problème du fondament des mathématiques / Jean Cavaillés |
| Autore | Cavaillés, Jean |
| Pubbl/distr/stampa | Paris : Hermann, 1981 |
| Descrizione fisica | 196 p. ; 26 cm. |
| Disciplina | 510.1 |
| Soggetto topico | General logic |
| ISBN | 2705659412 |
| Classificazione | AMS 03B |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Record Nr. | UNISALENTO-991001136029707536 |
Cavaillés, Jean
|
||
| Paris : Hermann, 1981 | ||
| 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 | ||
| ||
