|
|
|
|
| LEADER |
00862nam a22002897a 4500 |
| 001 |
150990 |
| 008 |
980318s1998 xxe ||| |||| 00| 0 fre d |
| 020 |
|
|
|a 2130488994 (br.) :
|c 138 FF : 21 EUR
|
| 024 |
|
|
|a 9782130488996
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 1
|
| 082 |
|
|
|a 004.01
|
| 082 |
|
|
|a 160
|
| 100 |
1 |
|
|a Wagner, Pierre,
|d 1963-
|
| 245 |
1 |
3 |
|a La machine en logique
|c Pierre Wagner.
|
| 260 |
|
|
|a Paris :
|b Presses Universitaires de France,
|c DL1998.
|
| 300 |
|
|
|a 1 vol. (240 p.) ;
|c 22 cm.
|
| 490 |
1 |
|
|a Science, histoire et société
|x 1242-5087
|
| 504 |
|
|
|a Bibliogr. p. [219]-223. Index
|
| 650 |
|
|
|a Turing, machines de.
|
| 650 |
|
|
|a Logique symbolique et mathématique
|x Informatique.
|
| 650 |
|
|
|a Informatique
|x Philosophie.
|
| 650 |
|
|
|a Automates mathématiques, théorie des.
|
| 993 |
|
|
|a Livre
|
| 994 |
|
|
|a PS
|
| 995 |
|
|
|a 004367618
|
| 997 |
|
|
|0 150990
|