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.
Recursivité, insaturation, decidabilité, constructabilité / par R. Fraissé
| Recursivité, insaturation, decidabilité, constructabilité / par R. Fraissé |
| Autore | Fraïssé, Roland <1920-2008> |
| Pubbl/distr/stampa | [S.l.] : Institut Blaise Pascal, 1967 |
| Disciplina | 160 |
| Collana | Cours de logique mathematique |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990000994730403321 |
Fraïssé, Roland <1920-2008>
|
||
| [S.l.] : Institut Blaise Pascal, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Seminaire de logique mathématique de la Faculté des Sciences de Paris 1962-1964
| Seminaire de logique mathématique de la Faculté des Sciences de Paris 1962-1964 |
| Pubbl/distr/stampa | Paris : Institut Blaise Pascal, 1964 |
| Descrizione fisica | 2 v. ; 27 cm |
| Disciplina | 160 |
| Collana | Logique a l'usage du calculateur |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990001060150403321 |
| Paris : Institut Blaise Pascal, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
