m
     
Publication

H 0 Publications du Département de Mathématiques Tome 14 année 1977 Fascicule 2

Université Claude Bernard Lyon 1 (Principal)

Service de documentation du Département de mathématiques, Université de Lyon 1

1977

00030497

03D20 ; 03E40 ; 05C60 ; 18171

fonction récursive # fondement de théorie des catégories # langage et structure # modèle cumulatif # modèle et ultra- produit # modèle générique # méthode de va et vient # propriété de forcing # reconstruction de graphe # relations dénombrables isomorphes # théorie des types # théorème de Karp-Myhill # théorème des mariages # équivalence logique pour le second ordre

Ville d'édition : Villeurbanne

Pays d'édition : France

Langue : Français

Collation : 30 cm ; 92 p. ; Bibliogr. ; broch. ; iii

Localisation : Salle de manutention

Type publication : Publication

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00030497

[disponible]
Z