| 000 | 02774nam a22006975i 4500 | ||
|---|---|---|---|
| 001 | 193524 | ||
| 003 | IT-RoAPU | ||
| 005 | 20221214232721.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr || |||||||| | ||
| 008 | 211129t20131970mau fo d z eng d | ||
| 019 | _a(OCoLC)1024051844 | ||
| 019 | _a(OCoLC)1029826591 | ||
| 019 | _a(OCoLC)1032676488 | ||
| 019 | _a(OCoLC)1037983173 | ||
| 019 | _a(OCoLC)1041981928 | ||
| 019 | _a(OCoLC)1046613487 | ||
| 019 | _a(OCoLC)1046998358 | ||
| 019 | _a(OCoLC)1049611314 | ||
| 019 | _a(OCoLC)1054881031 | ||
| 020 |
_a9780674864573 _qprint |
||
| 020 |
_a9780674864603 _qPDF |
||
| 024 | 7 |
_a10.4159/harvard.9780674864603 _2doi |
|
| 035 | _a(DE-B1597)9780674864603 | ||
| 035 | _a(DE-B1597)249790 | ||
| 035 | _a(OCoLC)979778321 | ||
| 040 |
_aDE-B1597 _beng _cDE-B1597 _erda |
||
| 050 | 4 | _aQA9 | |
| 072 | 7 |
_aMAT018000 _2bisacsh |
|
| 082 | 0 | 4 | _a510/.01 |
| 084 | _aonline - DeGruyter | ||
| 245 | 0 | 0 |
_aFrege and Gödel : _bTwo Fundamental Texts in Mathematical Logic / _ced. by Jean van Heijenoort. |
| 250 | _aReprint 2014 | ||
| 264 | 1 |
_aCambridge, MA : _bHarvard University Press, _c[2013] |
|
| 264 | 4 | _c©1970 | |
| 300 |
_a1 online resource (116 p.) : _bZahlr. Abb. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 505 | 0 | 0 |
_tFrontmatter -- _tPreface -- _tContents -- _tBegriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought -- _tSome metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency -- _tReferences -- _tIndex |
| 506 | 0 |
_arestricted access _uhttp://purl.org/coar/access_right/c_16ec _fonline access with authorization _2star |
|
| 538 | _aMode of access: Internet via World Wide Web. | ||
| 546 | _aIn English. | ||
| 588 | 0 | _aDescription based on online resource; title from PDF title page (publisher's Web site, viewed 29. Nov 2021) | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 0 | _aLogique symbolique et mathématique. | |
| 650 | 0 | _aLogique symbolique et mathématique. | |
| 650 | 0 | _aMathematik. | |
| 650 | 0 | _aMathematische Logik. | |
| 650 | 0 | _aWiskundige logica. | |
| 650 | 4 | _aLogic, Symbolic and mathematical. | |
| 650 | 4 | _aMathematics -- Philosophy. | |
| 650 | 7 |
_aMATHEMATICS / Logic. _2bisacsh |
|
| 700 | 1 |
_avan Heijenoort, Jean _ecuratore |
|
| 850 | _aIT-RoAPU | ||
| 856 | 4 | 0 | _uhttps://doi.org/10.4159/harvard.9780674864603 |
| 856 | 4 | 0 | _uhttps://www.degruyter.com/isbn/9780674864603 |
| 856 | 4 | 2 |
_3Cover _uhttps://www.degruyter.com/document/cover/isbn/9780674864603/original |
| 942 | _cEB | ||
| 999 |
_c193524 _d193524 |
||