m

Documents  Raffalli, Christophe | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 332 p.
ISBN 978-2-10-004892-2

Localisation : Enseignement RdC (DAVI)

logique # enseignement # théorie de la démonstration # complétude de la logique # logique du premier ordre # logique d'ordre supérieure # logique intuitionniste # modèle de Kripke # calcul des séquents # démonstration automatique # PHOX

03Bxx ; 03-01

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z