Séminaires d'algèbre et logique : année 1978, Fascicule 2 / Université de Rennes I, Département de Mathématiques et Informatique

Auteur secondaire collectivité : Université de Rennes 1, Editeur scientifiqueType 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, topoi
18B25, 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
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
Séminaire Séminaire CMI
Réserve 		Séminaires REN (Browse shelf(Opens below)) Available 06723-01

Bibliogr. en fin de contributions

There are no comments on this title.

to post a comment.