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, General logic, Decidability of theories and sets of sentences
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de 3e cycle, mathématiques, 1971, Aix-Marseille 1 Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Réserve 		Thèses DUL (Browse shelf(Opens below)) Available 02384-01

Bibliogr. f. 49

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

There are no comments on this title.

to post a comment.