| 000 | 01094 a2200313 4500 | ||
|---|---|---|---|
| 001 | ITTG6778 | ||
| 003 | OSt | ||
| 005 | 20251022152111.0 | ||
| 008 | 241215s 1993 |||||||||||||||||| #d | ||
| 020 | _a3-540-57184-1 | ||
| 040 |
_aITTG _cITTG |
||
| 041 | _aspa | ||
| 082 | _a004 L43 V.713 | ||
| 111 | _aKURT GODEL COLLOQUIUM (3rd : 1993 : BRNO, CHEC.) | ||
| 245 |
_aCOMPUTATIONAL LOGIC AND PROOF THEORY : _b THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO, CZECH REPUBLIC, AUGUST 1993 : _bPROCEEDINGS/ _cG. GOTTLOB, A. LEITSCH, D. MUNDICI, EDS. |
||
| 260 |
_aBERLIN: _bSPRINGER-VERLAG _c\\\\ |
||
| 300 |
_a348 P. _c24 CM |
||
| 490 |
_aLECTURE NOTES IN COMPUTER SCIENCE _v713 |
||
| 500 | _aINCLUYEBIBLIOGRAFIAS E INDICE. | ||
| 562 | _e3 | ||
| 650 | _a1.COMPROBACION DE TEOREMA AUTOMATICO - CONGRESOS. | ||
| 650 | _a2.MATEMATICAS Y SIMBOLOS LOGICOS - CONGRESOS. | ||
| 700 | _aGOTTLOB, GEORG. | ||
| 700 | _aLEITSCH, ALEXANDER. | ||
| 700 | _aMUNDICI, DANIELE. | ||
| 710 | _aKURT GODEL SOCIETY. \ KGC'93. | ||
| 942 |
_2ddc _c1 _e20090813 14:23:30 |
||
| 999 |
_c6605 _d6605 |
||
| 945 |
_d3711 _cGermán Gutiérrez |
||