| 000 | 00653nam a2200229 4500 | ||
|---|---|---|---|
| 001 | 36165 | ||
| 010 |
_bBrochado _dOferta |
||
| 090 | _a36165 | ||
| 100 | _a20030422d1981 k||y0pory50 ba | ||
| 101 | 0 | _afre | |
| 102 | _aFR | ||
| 200 | 1 |
_aDéduction automatique et logique modale _fLuis Fariñas del Cerro |
|
| 210 |
_aParis _cL. F. C. _d1981 |
||
| 215 |
_apag. var. _d21 cm |
||
| 328 | _aDissertação apresentada à l'Université Paris VII para obtenção do grau de Doutor em Matemática | ||
| 606 |
_aMatemática _x Teses |
||
| 680 | _aQA36 | ||
| 700 | 1 |
_aDel Cerro _bLuis Fariñas |
|
| 801 | 0 |
_gRPC _aPT |
|
| 942 |
_2lcc _cT _n0 |
||