| 000 | 01079cam a22003258a 4500 | ||
|---|---|---|---|
| 001 | 16784323 | ||
| 005 | 20170105102410.0 | ||
| 008 | 110518s2011 cau 001 0 eng | ||
| 010 | _a 2011019703 | ||
| 020 | _a9781575866321 (pbk. : alk. paper) | ||
| 040 |
_aDLC _cDLC |
||
| 042 | _apcc | ||
| 050 | 0 | 0 |
_aBC71 _b.B25 2011 |
| 082 | 0 | 0 |
_a160 BAR _223 |
| 100 | 1 | _aBarker-Plummer, Dave. | |
| 245 | 1 | 0 | _aLanguage, proof, and logic. |
| 250 |
_a2nd ed. / _bDave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease. |
||
| 260 |
_aStanford, Calif. : _bCSLI Publications, _c2011. |
||
| 263 | _a1107 | ||
| 300 | _ap. cm. | ||
| 500 | _aRev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. | ||
| 500 | _aIncludes index. | ||
| 650 | 0 | _aLogic. | |
| 700 | 1 | _aBarwise, Jon. | |
| 700 | 1 |
_aEtchemendy, John, _d1952- |
|
| 700 | 1 |
_aBarwise, Jon. _tLanguage, proof, and logic. |
|
| 906 |
_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c12904 _d12904 |
||