doorgaan naar inhoud
Frege and Gödel; two fundamental texts in mathematical logic. Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

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

Auteur: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
Uitgever: Cambridge, Mass., Harvard University Press, 1970.
Editie/Formaat:   Boek : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Aanvullende fysieke materiaalsoort: Online version:
Van Heijenoort, Jean, 1912-1986.
Frege and Gödel.
Cambridge, Mass., Harvard University Press, 1970
(OCoLC)679547381
Genre: Internetbron
Soort document: Boek, Internetbron
Alle auteurs / medewerkers: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
ISBN: 0674318447 9780674318441 0674318455 9780674318458
OCLC-nummer: 118480
Opmerkingen: "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Beschrijving: 116 pages illustrations 26 cm
Inhoud: 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).

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<http://www.worldcat.org/oclc/118480>
library:oclcnum"118480"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/118480>
rdf:typeschema:Book
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1012213>
rdf:typeschema:Intangible
schema:name"Mathematics--Philosophy"@en
schema:name"Arithmétique--Fondements."@en
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1002068>
rdf:typeschema:Intangible
schema:name"Logic, Symbolic and mathematical"@en
schema:name"Logique symbolique et mathématique."@en
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:creator
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/918621170>
schema:inLanguage"en"
schema:name"Frege and Gödel; two fundamental texts in mathematical logic."@en
schema:publisher
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.