Séminaires d'algèbre et logique : année 1978, Fascicule 2 / Université de Rennes I, Département de Mathématiques et Informatique
Type de document : SéminaireCollection : Publications des Séminaires de mathématiques et informatique de RennesLangue : français.Pays: France.Éditeur : Rennes : Université de Rennes I, 1978Description : 1 vol. (pagination multiple) ; 30 cmISSN: 0997-5349.Bibliographie : Bibliogr. en fin de contributions.Sujet MSC : 03G30, Algebraic logic, Categorical logic, topoi18B25, Category theory; homological algebra - Special categories, Topoi
03F35, Proof theory and constructive mathematics, Second- and higher-order arithmetic and fragments
03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchiesEn-ligne : Numdam Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle S | Séminaires REN (Browse shelf(Opens below)) | Available | 06723-01 |
Bibliogr. en fin de contributions
There are no comments on this title.