Logique mathématique : cours et exercices : 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats

Logique mathématique : cours et exercices 1 Calcul propositionnel, algèbres de Boole, calcul des prédicats

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Cori René (Auteur), Lascar Daniel (Auteur)
Autres auteurs : Krivine Jean-Louis (Préfacier)
Format : Manuel
Langue : français
Titre complet : Logique mathématique : cours et exercices. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats / René Cori..., Daniel Lascar,...; préface de J.-L. Krivine
Édition : 2e tirage corrigé
Publié : Paris, Milan, Barcelone : Masson , 1994
Description matérielle : 1 vol. (XV-385 p.)
Collection : Axiomes (Paris)
Sujets :
Logique mathématique non classique > Manuels d'enseignement supérieur
Logique mathématique non classique > Problèmes et exercices
Calcul des propositions
Boole, Algèbre de
Calcul des prédicats
Description
Variantes de titre : Calcul propositionnel, algèbres de Boole, calcul des prédicats
Bibliographie : Bibliogr. p. [361]-363. Index
ISBN : 2-225-84079-2