Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
Enregistré dans:
Auteur principal: | Ponasse, Daniel. |
---|---|
Support: | Livre |
Langue: | Français |
Publié: |
Paris :
O.C.D.L. [Office Central de Librairie],
cop. 1967.
|
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
Provenance: | Don Abbé Turpin |
Documents similaires
-
Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC
par: Desclès, Jean-Pierre.
Publié: 2010 -
Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: 1971 -
Models and ultraproducts : an introduction
par: Bell, John Lane.
Publié: 1971 -
Logique mathématique. cours et exercices corrigés
par: Cori, René.
Publié: 2003 -
La logique déductive : essai de présentation aux juristes
par: Kalinowski, Georges, 1916-2000.
Publié: 1996