skip to content
Frege and Gödel; two fundamental texts in mathematical logic. Preview this item
ClosePreview this item
Checking...

Frege and Gödel; two fundamental texts in mathematical logic.

Author: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
Publisher: Cambridge, Mass., Harvard University Press, 1970.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Van Heijenoort, Jean, 1912-1986.
Frege and Gödel.
Cambridge, Mass., Harvard University Press, 1970
(OCoLC)679547381
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
ISBN: 0674318447 9780674318441 0674318455 9780674318458
OCLC Number: 118480
Notes: "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Description: 116 pages illustrations 26 cm
Contents: Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/118480> # Frege and Gödel; two fundamental texts in mathematical logic.
    a schema:CreativeWork, schema:Book ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/118480#CreativeWork/unidentifiedOriginalWork> ;
    library:oclcnum "118480" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/118972668#Place/cambridge_mass> ; # Cambridge, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/118972668#CreativeWork/begriffsschrift> ; # Begriffsschrift.
    schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
    schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/118972668#Topic/arithmetique_fondements> ; # Arithmétique--Fondements
    schema:about <http://experiment.worldcat.org/entity/work/data/118972668#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://dewey.info/class/511.3/e18/> ;
    schema:about <http://dewey.info/class/164/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/97851774> ; # Kurt Gödel
    schema:contributor <http://experiment.worldcat.org/entity/work/data/118972668#Person/frege_gottlob_1848_1925> ; # Gottlob Frege
    schema:creator <http://viaf.org/viaf/92795306> ; # Jean Van Heijenoort
    schema:datePublished "1970" ;
    schema:description "Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/118972668> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/679547381> ;
    schema:name "Frege and Gödel; two fundamental texts in mathematical logic."@en ;
    schema:productID "118480" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/118480#PublicationEvent/cambridge_mass_harvard_university_press_1970> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/118972668#Agent/harvard_university_press> ; # Harvard University Press
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001260084&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=001260084&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1909202&custom_att_2=simple_viewer> ;
    schema:workExample <http://worldcat.org/isbn/9780674318441> ;
    schema:workExample <http://worldcat.org/isbn/9780674318458> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/118480> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/118972668#Agent/harvard_university_press> # Harvard University Press
    a bgn:Agent ;
    schema:name "Harvard University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Person/frege_gottlob_1848_1925> # Gottlob Frege
    a schema:Person ;
    schema:birthDate "1848" ;
    schema:deathDate "1925" ;
    schema:familyName "Frege" ;
    schema:givenName "Gottlob" ;
    schema:name "Gottlob Frege" ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Topic/arithmetique_fondements> # Arithmétique--Fondements
    a schema:Intangible ;
    schema:name "Arithmétique--Fondements"@en ;
    schema:name "Arithmétique--Fondements"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85082153> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://viaf.org/viaf/92795306> # Jean Van Heijenoort
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1986," ;
    schema:familyName "Van Heijenoort" ;
    schema:givenName "Jean" ;
    schema:name "Jean Van Heijenoort" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9780674318441>
    a schema:ProductModel ;
    schema:isbn "0674318447" ;
    schema:isbn "9780674318441" ;
    .

<http://worldcat.org/isbn/9780674318458>
    a schema:ProductModel ;
    schema:isbn "0674318455" ;
    schema:isbn "9780674318458" ;
    .

<http://www.worldcat.org/oclc/679547381>
    a schema:CreativeWork ;
    rdfs:label "Frege and Gödel." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/118480> ; # Frege and Gödel; two fundamental texts in mathematical logic.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.