|
|
|
|
| LEADER |
01833nam a2200433 4500 |
| 001 |
PPN003003825 |
| 005 |
20151026013500.0 |
| 009 |
DYNIX_BUNAN_234567 |
| 010 |
|
|
|a 2-86601-380-8
|b br.
|d 250 F
|
| 020 |
|
|
|a FR
|b 09402424
|
| 021 |
|
|
|a FR
|b DL 93-32149
|
| 035 |
|
|
|a frBN015895850
|
| 100 |
|
|
|a 19931013d1993 k u0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a a zz 00|z|
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Logique et fondements de l'informatique
|e logique du 1er ordre, calculabilité et lambda-calcul
|f Richard Lassaigne, Michel de Rougemont
|
| 210 |
|
|
|a Paris
|c Hermès
|d 1993
|e Impr. en Grande-Bretagne
|
| 215 |
|
|
|a VIII-248 p.
|c ill.
|d 24 cm
|
| 225 |
2 |
|
|a Traité des nouvelles technologies
|i Série Informatique
|x 0993-5037
|
| 300 |
|
|
|a Bibliogr. p. 239-241. Index
|
| 345 |
|
|
|b 9782866013806
|
| 410 |
|
0 |
|3 frBN006603852
|t Traité des nouvelles technologies. Série Informatique.
|x 0993-5037
|v 1993
|
| 606 |
|
|
|3 frBN001977807
|a Logique mathématique
|
| 700 |
|
1 |
|3 frBN009435018
|a Lassaigne
|b Richard
|
| 701 |
|
1 |
|3 frBN00943504X
|a Rougemont
|b Michel de
|
| 801 |
|
3 |
|a FR
|b BN
|c 19980304
|g AFNOR
|
| 960 |
|
|
|3 frBN001977807
|a Logique formelle
|9 60601
|
| 960 |
|
|
|3 frBN001977807
|a Logique mathématique
|9 60601
|
| 960 |
|
|
|3 frBN001977807
|a Logique moderne symbolique
|9 60601
|
| 960 |
|
|
|3 frBN001977807
|a Logistique (logique)
|9 60601
|
| 979 |
|
|
|a ECN
|
| 979 |
|
|
|a SCI
|
| 990 |
|
|
|a 234567
|
| 993 |
|
|
|a 1142011790
|b ECN
|c 681.3 LAS A 01
|d ECN1
|e ECN1
|f I
|g 11-03-1996
|h 05-11-1997
|o 05-06-2000
|p 2
|s 10104
|t ECN1
|u ECN1
|v i
|
| 993 |
|
|
|a 1160682121
|b SCI
|c 681.31 LAS
|d EM
|e INFAUT12
|f I
|g 13-11-1996
|h 03-02-2000
|i 02-07-2002
|k 41.16
|o 18-11-2003
|p 47
|s 068212
|t EM
|u SCINF12
|v i
|
| 993 |
|
|
|a 1160682107
|b SCI
|c 681.31 LAS
|d EM
|e INFAUT12
|f I
|g 13-11-1996
|h 03-02-2000
|i 04-07-2003
|k 41.16
|o 06-11-2003
|p 50
|s 068210
|t EM
|u SCINF12
|v i
|
| 998 |
|
|
|a 185752
|
Nantilus
