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, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations Item type: Monographie
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
Salle E 		Manuels FRA (Browse shelf(Opens below)) Available 01470-01

Bibliogr.

There are no comments on this title.

to post a comment.