|
|
|
|
| LEADER |
01753cam a2200421 4500 |
| 001 |
PPN069457980 |
| 005 |
20240516055300.0 |
| 010 |
|
|
|a 2-10-005452-X
|b br.
|d 39 EUR
|
| 035 |
|
|
|a DYNIX_BUNAN_475677
|
| 073 |
|
1 |
|a 9782100054527
|
| 100 |
|
|
|a 20030129d2003 k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a y j 001yy
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Logique mathématique
|h 1
|i Calcul propositionnel, algèbre de Boole, calcul des prédicats
|b Texte imprimé
|e cours et exercices corrigés
|f René Cori,... Daniel Lascar,...
|g préf. de Jean-Louis Krivine
|
| 210 |
|
|
|a Paris
|c Dunod
|d cop. 2003
|
| 215 |
|
|
|a 1 vol. (XV-385 p.)
|c couv. ill. en coul.
|d 24 cm
|
| 225 |
2 |
|
|a Sciences sup
|
| 305 |
|
|
|a Autre tirage : 2005
|
| 312 |
|
|
|a La couv. porte en plus : "Licence, master"
|
| 320 |
|
|
|a Bibliogr. p. [361]-363. Index
|
| 410 |
|
| |
|0 013680803
|t Sciences sup
|x 1636-2217
|
| 517 |
| |
|
|a Calcul propositionnel, algèbre de Boole, calcul des prédicats
|
| 606 |
|
|
|3 PPN027662799
|a Logique symbolique et mathématique
|3 PPN03020934X
|x Manuels d'enseignement supérieur
|2 rameau
|
| 606 |
|
|
|3 PPN027221776
|a Calcul des prédicats
|2 rameau
|
| 606 |
|
|
|3 PPN027837785
|a Boole, Algèbre de
|2 rameau
|
| 606 |
|
|
|3 PPN027554546
|a Calcul des propositions
|2 rameau
|
| 606 |
|
|
|3 PPN027662799
|a Logique symbolique et mathématique
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 676 |
|
|
|a 511.3
|v 21
|
| 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 20061201
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b Electre
|c 20210302
|g AFNOR
|
| 930 |
|
|
|5 441092104:181887673
|b 441092104
|a 510.6 COR
|j u
|
| 979 |
|
|
|a SCI
|
| 998 |
|
|
|a 51006
|
Nantilus
