Normal view MARC view ISBD view

Décidabilité et axiomatisabilités des théories du premier ordre / par Marie-Hélène Dulac

Auteur principal : Dulac, Marie-Hélène, 1944-2019, AuteurAuteur secondaire : Fraïssé, Roland, 1920-2008, Directeur de thèseType de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1971Description : 1 vol. (49 f.) ; 30 cmBibliographie : Bibliogr. f. 49.Sujet MSC : 03B25, Mathematical logic and foundations -- General logic, Decidability of theories and sets of sentences
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note de thèse: Thèse de 3e cycle, mathématiques, 1971, Aix-Marseille 1
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses DUL (Browse shelf) Available 02384-01

Bibliogr. f. 49

Thèse de 3e cycle mathématiques 1971 Aix-Marseille 1

There are no comments for this item.

Log in to your account to post a comment.