| 000 | 00905nam a2200265 4500 | ||
|---|---|---|---|
| 001 | 3388 | ||
| 010 |
_a3-540-57184-1 _bbrochado |
||
| 090 | _a3388 | ||
| 100 | _a19940111d1993 k||y0pory50 ba | ||
| 101 | _aeng | ||
| 102 | _aDE | ||
| 200 |
_aComputational logic and proof theory _ethird Kurt Gõdel colloquium, KGC'93, held in Brno, Czech Republic, August 24-27, 1993 _fGeorg Gottlob, Alexander Leitsch, Daniele Mundici, ed. lit. |
||
| 210 |
_aBerlin _aHeidelberg, DE [etc.] _cSpringer-Verlag _dcop. 1993 |
||
| 215 |
_aXI, 348 p. _cil. _d24 cm |
||
| 225 |
_aLecture notes in computer science _v713 |
||
| 606 | _aDemonstração de teoremas | ||
| 606 | _aLógica matemática | ||
| 680 | _aQA75.5 | ||
| 702 |
_aGottlob _bGeorg _4340 _916735 |
||
| 702 |
_aLeitsch _bAlexander _4340 _916721 |
||
| 702 |
_aMundici _bDaniele _4340 _916736 |
||
| 801 |
_gRPC _aPT |
||
| 942 |
_2lcc _cA _n0 |
||