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.
Cours de Logique Mathematique / Roland Fraissé
| Cours de Logique Mathematique / Roland Fraissé |
| Autore | Fraïssé, Roland <1920-2008> |
| Pubbl/distr/stampa | Paris : Gauthier Villars, 1967 |
| Descrizione fisica | xii, 184 p. ; 24 cm |
| Disciplina |
510
160 |
| Collana | Collection de logique mathématique, Série A |
| Soggetto non controllato |
Storia della matematica
Logica Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990002576730403321 |
Fraïssé, Roland <1920-2008>
|
||
| Paris : Gauthier Villars, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cours de Logique Mathématique / Roland Fraissé
| Cours de Logique Mathématique / Roland Fraissé |
| Autore | Fraïssé, Roland <1920-2008> |
| Edizione | [2e ed. revue et modifiée] |
| Pubbl/distr/stampa | Paris : Gauthier-Villars, 1971-1973 |
| Descrizione fisica | 3v. ; 24 cm |
| Disciplina | 160 |
| Collana | Collection de logique mathématique, Série A |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | 1.: Relation et formule logique 2.: Théorie des modèles 3.: Recursivité et constructibilité |
| Record Nr. | UNINA-990000994690403321 |
|
Fraïssé, Roland <1920-2008>
|
||
| Paris : Gauthier-Villars, 1971-1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Course of mathematical logic / de FRAISSE R OLAND
| Course of mathematical logic / de FRAISSE R OLAND |
| Autore | Fraïssé, Roland <1920-2008> |
| Pubbl/distr/stampa | Boston [etc.] : Reidel, 1973 |
| Descrizione fisica | 2 v. |
| Collana | Synthese Library |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.: Relation and logical formula 2.: Model theory |
| Record Nr. | UNINA-990001176320403321 |
|
Fraïssé, Roland <1920-2008>
|
||
| Boston [etc.] : Reidel, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'algèbre logique et ses rapports avec la théorie des relations / par Roland Fraïssé ; exposé rédigé avec l'aide de Jean-Pierre Calais, Giovanni Coray et Michel Jean
| L'algèbre logique et ses rapports avec la théorie des relations / par Roland Fraïssé ; exposé rédigé avec l'aide de Jean-Pierre Calais, Giovanni Coray et Michel Jean |
| Autore | Fraïssé, Roland <1920-2008> |
| Pubbl/distr/stampa | Montreal : Les Presses de l'Université de Montréal, 1967 |
| Descrizione fisica | 78 p. ; 28 cm |
| Disciplina | 160 |
| Collana | Séminaire de Mathématiques Supérieures |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-8405-0080-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990000994720403321 |
|
Fraïssé, Roland <1920-2008>
|
||
| Montreal : Les Presses de l'Université de Montréal, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La reconstruction d'une relation dans L'hipotese forte : isomorfie des restrictions à chaque partie stricte de la base / Roland Fraisse, Gerard Lopez
| La reconstruction d'une relation dans L'hipotese forte : isomorfie des restrictions à chaque partie stricte de la base / Roland Fraisse, Gerard Lopez |
| Autore | Fraïssé, Roland <1920-2008> |
| Pubbl/distr/stampa | Montreal : Les Presses de l'Université de Montréal, 1991 |
| Collana | Séminaire de Mathématiques Supérieures |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001318840403321 |
|
Fraïssé, Roland <1920-2008>
|
||
| Montreal : Les Presses de l'Université de Montréal, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Theory of relations / Roland Fraissè ; with an appendix by Norbert Sauer
| Theory of relations / Roland Fraissè ; with an appendix by Norbert Sauer |
| Autore | Fraïssé, Roland <1920-2008> |
| Edizione | [revised edition] |
| Pubbl/distr/stampa | Elsevier : Amsterdam, 2000 |
| Descrizione fisica | iii, 451 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Teoria degli insiemi
Strutture algebriche |
| ISBN | 0-444-50542-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001482460403321 |
|
Fraïssé, Roland <1920-2008>
|
||
| Elsevier : Amsterdam, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Relations / by FRAISSE R.
| Theory of Relations / by FRAISSE R. |
| Autore | Fraïssé, Roland <1920-2008> |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1986 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001176280403321 |
|
Fraïssé, Roland <1920-2008>
|
||
| Amsterdam [etc.] : North-Holland, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||