|
|
|
|
| LEADER |
00730nam a22002177a 4500 |
| 001 |
8298 |
| 008 |
960401s1993 xxe ||| |||| 00| 0 fre d |
| 041 |
0 |
|
|a fre
|
| 082 |
|
|
|a 511.3
|
| 100 |
|
|
|a Cori, René.
|
| 245 |
1 |
0 |
|a Logique mathématique :
|b cours et exercices
|n vol. 1,
|p Calcul propositionnel, algèbres de Boole, calcul des prédicats
|c René Cori,... Daniel Lascar,... ; préf. de J.-L. Krivine.
|
| 260 |
|
|
|a Paris ;
|a Milan ;
|a Barcelone :
|b Masson,
|c 1993.
|
| 300 |
|
|
|a 385 p. :
|b couv. ill. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Axiones
|
| 500 |
|
|
|a Bibliogr., t. 1, p. 361-363
|
| 650 |
|
|
|a Logique symbolique et mathématique.
|
| 700 |
|
|
|a Lascar, Daniel.
|
| 700 |
1 |
|
|a Krivine, Jean-Louis.
|4 aui
|
| 993 |
|
|
|a Livre
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 8298
|