|
|
|
|
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
|