Titre :	Cours de logique mathématique .Tome3 , Récursivité et constructibilité
Type de document :	texte imprime
Auteurs :	Roland Fraïsse
Editeur :	Paris : Gauthier -Villars
Année de publication :	1975
Collection :	Logique Mathématique num. 25
Importance :	134 p.
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	2-04-004158-2
Note générale :	Bibliogr.Index
Langues :	Français
Mots-clés :	Récursivité  Code  Numérotation  Récursivité relative  Théorème  Axiomatisabilité
Index. décimale :	511.3
Permalink :	./index.php?lvl=notice_display&id=12345

Cours de logique mathématique .Tome3 , Récursivité et constructibilité [texte imprime] / Roland Fraïsse . - Paris : Gauthier -Villars, 1975 . - 134 p. : ill. ; 24 cm. - (Logique Mathématique; 25) .
ISSN : 2-04-004158-2
Bibliogr.Index
Langues : Français

Mots-clés :	Récursivité  Code  Numérotation  Récursivité relative  Théorème  Axiomatisabilité
Index. décimale :	511.3
Permalink :	./index.php?lvl=notice_display&id=12345