| 000 | 01182 am a2200325ua 4500 | ||
|---|---|---|---|
| 001 | 006720827 | ||
| 003 | IQ-KoUCL | ||
| 005 | 20121206122408.0 | ||
| 008 | 010828s2000 enk || 001 ||eng | ||
| 015 |
_aGBA065273 _2bnb |
||
| 020 |
_a0198500491 (pt. 1, Hbk) : _cNo price |
||
| 020 | _a0198500483 (pt. 1, Pbk) | ||
| 035 | _a(UkOxU)O15005189 | ||
| 040 |
_aUkOxU _dUk _cDLC |
||
| 041 | 1 |
_aeng _hfre |
|
| 082 | 0 | 4 |
_a511.3 _221 |
| 100 | 1 | _aCori, René. | |
| 240 | 1 | 0 |
_aLogique mathématique. _lEnglish |
| 245 | 1 | 0 |
_aMathematical logic : _ba course with exercises / _cRené Cori and Daniel Lascar ; translated by Donald H. Pelletier. |
| 260 |
_aOxford : _bOxford University Press, _c2000- |
||
| 300 |
_av ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | 0 | _aContents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 |
_aLascar, D. _q(Daniel), _d1942- |
|
| 700 | 1 |
_aPelletier, Donald H., _d1941- |
|
| 886 | 2 |
_2ukmarc _a900 _b10 _aLascar _hDaniel _c1942- _xSee _aLascar, D. (Daniel), _x1942- _z700 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c1946 _d1946 |
||