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 hierarchies
En-ligne : Numdam Item type: Séminaire
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
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.