|
|
|
|
| LEADER |
01469nam a2200385 4500 |
| 001 |
PPN00168633X |
| 005 |
20231026060000.0 |
| 009 |
DYNIX_BUNAN_313642 |
| 010 |
|
|
|a 2-225-82104-6
|b rel.
|d 200 F
|
| 020 |
|
|
|a FR
|b 09100612
|
| 021 |
|
|
|a FR
|b DL 90-20718
|
| 035 |
|
|
|a frBN008515988
|
| 100 |
|
|
|a 19900920d1990 k u0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a ZZ
|
| 105 |
|
|
|a a zz 00|z|
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Logique, réduction, résolution
|f René Lalement,...
|g préf. de Michel Demazure
|
| 210 |
|
|
|a Paris
|a Milan
|a Barcelone
|c Masson
|d 1990
|e 61-Alençon
|g Normandie impr.
|
| 215 |
|
|
|a XII-370 p.
|c ill., couv. ill.
|d 24 cm
|
| 225 |
2 |
|
|a ERI. Etudes et recherches en informatique
|x 0763-2770
|
| 300 |
|
|
|a Bibliogr. p. 359-363. Index
|
| 345 |
|
|
|b 9782225821042
|
| 410 |
|
0 |
|3 frBN004450151
|t E.R.I. Etudes et recherches en informatique.
|x 0763-2770
|v 1990
|
| 606 |
|
|
|3 frBN001977807
|a Logique mathématique
|
| 700 |
|
1 |
|3 frBN005464990
|a Lalement
|b René
|f 19..-....
|c mathématicien
|
| 801 |
|
3 |
|a FR
|b BN
|c 19980227
|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 SCI
|
| 990 |
|
|
|a 313642
|
| 993 |
|
|
|a 1160844369
|b SCI
|c 681.31 LAL
|d EM
|e INFAUT12
|f I
|g 19-02-1998
|h 03-02-2000
|i 04-07-2003
|k 37.50
|o 08-11-2003
|p 31
|s 084436
|t EM
|u SCINF12
|v i
|
| 998 |
|
|
|a 132273
|
Nantilus
