| 000 | 01387n a2200397#a 4500 | ||
|---|---|---|---|
| 001 | 36550 | ||
| 003 | OCoLC | ||
| 005 | 20231124143637.0 | ||
| 008 | 130926t20142014njua b 001 0 eng d | ||
| 010 | _a2013949122 | ||
| 015 |
_aGBB394847 _2bnb |
||
| 015 |
_aGBB394847 _2dnb |
||
| 016 | 7 |
_a016520683 _2Uk |
|
| 020 |
_a9780691160443 _q(pbk. : acid-free paper) |
||
| 020 |
_a0691160449 _q(pbk. : acid-free paper) |
||
| 020 | _a140084875X | ||
| 020 | _a9781400848751 | ||
| 040 | _cP5AA | ||
| 082 |
_a511.3 _bL898t |
||
| 090 | _alf2 | ||
| 100 | 1 |
_aLoveland, Donald W. _eauthor. _939334 |
|
| 245 | 1 | 0 |
_aThree views of logic: _bmathematics, philosophy, and computer science/ _cDonald W. Loveland, Richard E. Hodel, S.G. Sterrett. |
| 264 | 1 |
_aPrinceton, New Jersey: _bPrinceton University Press, _c[2014] |
|
| 300 |
_axv, 322 pages: _billustrations; _c26 cm |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aProof theory. _937150 |
|
| 650 | 0 |
_aComputable functions. _937437 |
|
| 650 | 0 |
_aNonclassical mathematical logic. _97267 |
|
| 697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
| 700 | 1 |
_aHodel, Richard E., _eauthor. _97264 |
|
| 700 | 1 |
_aSterrett, Susan G., _eauthor. _97265 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c35378 _d35378 |
||