Résultat(s) 1 - 5 résultats de 5 pour la requête 'Fitting Melvin Chris', Temps de recherche: 0,02s Affiner les résultats
  1. 1
    First-order logic and automated theorem proving
    par Fitting Melvin Chris
    Springer C 1996
    Livre
  2. 2
    Intuitionistic logic model theory and forcing
    par Fitting Melvin Chris
    North-Holland 1969
    Livre
  3. 3
    Proof methods for modal and intuitionistic logics
    par Fitting Melvin Chris
    D. Reidel C 1983
    Livre
  4. 4
    First-order modal logic
    par Fitting Melvin Chris, Mendelsohn Richard L.
    Kluwer Academic 1998
    Livre
  5. 5
    Beyond two : theory and applications of multiple-valued logic
    Physica-Verlag c2003
    Livre
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.