Normal view MARC view ISBD view

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 cmBibliographie : Bibliogr. en fin de contributions.Sujet MSC : 03G30, Mathematical logic and foundations -- Algebraic logic, Categorical logic, topoi
18B25, Category theory; homological algebra -- Special categories, Topoi
03F35, Mathematical logic and foundations -- Proof theory and constructive mathematics, Second- and higher-order arithmetic and fragments
03D20, Mathematical logic and foundations -- Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
En-ligne : Numdam
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Séminaires REN (Browse shelf) Available 06723-01

Bibliogr. en fin de contributions

There are no comments for this item.

Log in to your account to post a comment.