Normal view MARC view ISBD view

Cours de logique mathématique, Tome 2, récursivité, insaturation, décidabilité, constructibilité / Roland Fraissé

Auteur principal : Fraïssé, Roland, 1920-2008, AuteurType de document : MonographieCollection : Logique à l'usage du calculateur, 2Langue : français.Pays : France.Éditeur : Paris : Institut Blaise Pascal, 1967Description : 1 vol. (70 p.) ; 26 cmBibliographie : Bibliogr..Sujet MSC : 03Cxx, Mathematical logic and foundations, Model theory
03-01, Mathematical logic and foundations, Instructional exposition (textbooks, tutorial papers, etc.)
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 E
Manuels FRA (Browse shelf) Available 01470-01

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.