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é |
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 |
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 |
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 |
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é |
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 |
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. |
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 | ||
|