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
LEADER 02017cam a2200517 4500
001 PPN018184537
003 http://www.sudoc.fr/018184537
005 20240516055300.0
010 |a 2-225-84079-2  |b vol.1  |b br. 
035 |a 087791668  |9 sudoc 
035 |a (OCoLC)29787427 
035 |a ocm29787427 
100 |a 19940211d1994 k y0frey0103 ba 
101 0 |a fre  |2 639-2 
102 |a FR  |a IT  |a ES 
105 |a y ja 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Logique mathématique  |e cours et exercices  |h 1  |i Calcul propositionnel, algèbres de Boole, calcul des prédicats  |f René Cori..., Daniel Lascar,...  |g préface de J.-L. Krivine 
205 |a 2e tirage corrigé 
214 0 |a Paris  |a Milan  |a Barcelone  |c Masson  |d 1994 
215 |a 1 vol. (XV-385 p.)  |c couv. ill.  |d 24 cm 
225 0 |a Axiomes  |e collection de logique mathématique  |x 1243-4264 
320 |a Bibliogr. p. [361]-363. Index 
410 | |0 040091066  |t Axiomes (Paris)  |x 1243-4264 
517 | |a Calcul propositionnel, algèbres de Boole, calcul des prédicats 
606 |3 PPN027868699  |a Logique mathématique non classique  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN027868699  |a Logique mathématique non classique  |3 PPN027790517  |x Problèmes et exercices  |2 rameau 
606 |3 PPN027554546  |a Calcul des propositions  |2 rameau 
606 |3 PPN027837785  |a Boole, Algèbre de  |2 rameau 
606 |3 PPN027221776  |a Calcul des prédicats  |2 rameau 
676 |a 511.3 
686 |a 03-01  |c 2010  |2 msc 
700 1 |3 PPN056972776  |a Cori  |b René  |4 070 
701 1 |3 PPN032332300  |a Lascar  |b Daniel  |f 1942-....  |4 070 
702 1 |3 PPN030156149  |a Krivine  |b Jean-Louis  |f 1939-....  |4 080 
801 3 |a FR  |b Abes  |c 20230628  |g AFNOR  |h 087791668 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
979 |a PHILO 
930 |5 441092107:622935658  |b 441092107  |j s 
998 |a 825315