|
|
|
|
| LEADER |
01053nam a22003257a 4500 |
| 001 |
6704 |
| 008 |
931013s1993 xxe ||| |||| 00| 0 fre d |
| 020 |
|
|
|a 2866013808 (br.) :
|c 250 F
|
| 024 |
|
|
|a 9782866013806
|
| 037 |
|
|
|a 9782866013806
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 67
|
| 082 |
|
|
|a 004
|
| 082 |
|
|
|a 511.3
|
| 084 |
|
|
|a F.4
|
| 100 |
1 |
|
|a Lassaigne, Richard.
|
| 245 |
1 |
0 |
|a Logique et fondements de l'informatique :
|b logique du 1er ordre, calculabilité et lambda-calcul
|c Richard Lassaigne, Michel de Rougemont.
|
| 260 |
|
|
|a Paris :
|b Hermès,
|c 1993
|e (Impr. en Grande-Bretagne).
|
| 300 |
|
|
|a 1 vol. (VIII-248 p.) :
|b ill. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Traité des nouvelles technologies. Série Informatique
|x 0993-5037
|
| 504 |
|
|
|a Bibliogr. p. [239]-241. Index
|
| 650 |
|
|
|a Logique symbolique et mathématique
|x Informatique.
|
| 650 |
|
|
|a Logique du premier ordre.
|
| 650 |
|
|
|a Fonctions calculables.
|
| 650 |
|
|
|a Lambda-calcul.
|
| 700 |
1 |
|
|a Rougemont, Michel de.
|4 aut
|
| 993 |
|
|
|a Livre
|
| 994 |
|
|
|a PS
|
| 995 |
|
|
|a 003003825
|
| 997 |
|
|
|0 6704
|