Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC
Enregistré dans:
Auteur principal: | Desclès, Jean-Pierre. |
---|---|
Autres auteurs: | Djioua, Brahim., Le Priol, Florence. |
Support: | Livre |
Langue: | Français |
Publié: |
Paris :
Hermann,
cop. 2010.
|
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
Documents similaires
-
La logique déductive : essai de présentation aux juristes
par: Kalinowski, Georges, 1916-2000.
Publié: 1996 -
Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
par: Ponasse, Daniel.
Publié: 1967 -
Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: 1971 -
Beginning logic
par: Lemmon, E. J.(
Publié: 1990 -
Models and ultraproducts : an introduction
par: Bell, John Lane.
Publié: 1971