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
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Thèse Thèse 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.