Suggestion de sujets dans votre recherche.
Résultat(s) 1 - 13 résultats de 13 pour la requête '', Temps de recherche: 0,02s Affiner les résultats
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Actes de congrès Livre
    Publié 1992
    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Beweistheorie.
    Livre
    par Schutte, K. (Kurt)
    Publié 1960
    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Proof theory /
    Livre
    par Takeuti, Gaisi, 1926-
    Publié 1975
    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Proof theory /
    Livre
    par Schütte, K. (Kurt)
    Publié 1977
    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Proof theory : an introduction /
    Livre
    par Pohlers, Wolfram
    Publié 1989
    Ajouter aux favoris
    Enregistré dans:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Livre
    par Boolos, George
    Publié 1979
    Ajouter aux favoris
    Enregistré dans:
  7. 7
    On the shape of mathematical arguments /
    Livre
    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Livre
    par Roever, W.-P. de
    Publié 1976
    Ajouter aux favoris
    Enregistré dans:
  9. 9
    Absoluteness of intuitionistic logic /
    Livre
    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Proof theory of modal logic /
    Livre
    Publié 1996
    Ajouter aux favoris
    Enregistré dans:
  11. 11
    Analysis : with an introduction to proof /
    Livre
    par Lay, Steven R., 1944-
    Publié 1990
    Ajouter aux favoris
    Enregistré dans:
  12. 12
    Axiomatising the logic of computer programming /
    Livre
    par Goldblatt, Robert
    Publié 1982
    Ajouter aux favoris
    Enregistré dans:
  13. 13
    Combinators, -terms and proof theory.
    Thèse Livre
    par Stenlund, Soren
    Publié 1972
    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche