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

Niveau d'autorisation : Public

Exemplaires