| 000 | 00910nam a22002657a 4500 | ||
|---|---|---|---|
| 003 | MX-MeUAM | ||
| 005 | 20240919093025.0 | ||
| 008 | 240516s2000 nyua fr 00| 0 eng d | ||
| 020 | _a9780198500483 | ||
| 040 |
_bspa _cMX-MeUAM |
||
| 041 | 1 |
_aeng _hfre |
|
| 050 | 4 |
_aQA9.A1 _bC6713 2000 |
|
| 100 | 1 |
_934296 _aCori, René |
|
| 245 | 1 | 0 |
_aMathematical logic : _ba course with exercises / _cRené. Cori, Dniel Lascar ; Donalld H. Pelletier |
| 260 |
_aNew York : _bOxford University Press, _c2000 |
||
| 500 | _aReimpresión: 2008. | ||
| 505 |
_gparte 1 _tPropositional calculus, boolean algebras, predicate calculus. |
||
| 590 | _aCveAsig: 41513; | ||
| 590 | _aProgEdu: 10004; | ||
| 590 | _aAresCon: ADMINISTRATIVAS; | ||
| 650 | 4 | _aLogic, Symbolic and mathematical | |
| 700 | 1 |
_934294 _aLascar, D. _d1942- _ecoaut. _q(Daniel), |
|
| 700 | 1 |
_934295 _aPelletier, Donald H., _d1941- _etr. |
|
| 942 | _cLIBRO | ||
| 999 |
_c256863 _d256862 |
||