| 000 | 00848nam a2200205 a 4500 | ||
|---|---|---|---|
| 001 | sulb49795 | ||
| 008 | 130217s1985 gw b 100 0 eng d | ||
| 020 | _a0387152369 (U.S. : pbk.) | ||
| 020 | _a3540152369 | ||
| 040 |
_aDLC _cDLC _dDLC _dBD-SySUS |
||
| 082 | 0 | 0 |
_a511.3 _222 |
| 245 | 1 | 0 |
_aMethods in mathematical logic : _bproceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / _cedited by C.A. Di Prisco. |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _cc1985. |
||
| 300 |
_avii, 407 p. ; _c25 cm. |
||
| 490 | 1 |
_aLecture notes in mathematics ; _v1130 |
|
| 500 | _aSponsored by Asociaci�on Venezolana para el Avance de la Ciencia (AsoVAC) ... et al. | ||
| 504 | _aIncludes bibliographies. | ||
| 650 | 0 |
_aLogic, Symbolic and mathematical _xCongresses. |
|
| 700 | 1 | _aDi Prisco, C. A. | |
| 999 |
_c1489 _d1489 |
||