|
|
|
|
| LEADER |
00688nam a22001817a 4500 |
| 001 |
626040 |
| 008 |
130409t20032003xxe ||| |||| 00| 0 eng d |
| 009 |
PPN168612186 |
| 020 |
|
|
|a 9780521008044 (br.)
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 160
|
| 100 |
1 |
|
|a Smith, Peter J,
|d 1944-
|
| 245 |
1 |
0 |
|a An introduction to formal logic
|c Peter Smith,...
|
| 260 |
|
|
|a Cambridge (RU) ;
|a New York :
|b Cambridge University Press,
|c cop. 2003.
|
| 300 |
|
|
|a 1 vol. (VIII-357 p.) :
|b fig., couv. ill. en coul. ;
|c 26 cm.
|
| 504 |
|
|
|a Bibliogr. p. [348]-351. Index
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 997 |
|
|
|0 626040
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 511.3 SMI
|