Résultats de la recherche

Suggestion de sujets dans votre recherche.
  • Résultat(s) 1 - 1 résultats de 1
Affiner les résultats
  1. 1

    Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

    Publié 1984
    Actes de congrès Livre