passa ai contenuti
Frege and Gödel; two fundamental texts in mathematical logic. Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

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

Autore: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
Editore: Cambridge, Mass., Harvard University Press, 1970.
Edizione/Formato:   Libro : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Informazioni aggiuntive sul formato: Online version:
Van Heijenoort, Jean, 1912-1986.
Frege and Gödel.
Cambridge, Mass., Harvard University Press, 1970
(OCoLC)679547381
Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
ISBN: 0674318447 9780674318441 0674318455 9780674318458
Numero OCLC: 118480
Note: "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Descrizione: 116 pages illustrations 26 cm
Contenuti: 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).

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<http://www.worldcat.org/oclc/118480>
bgn:translationOfWork
library:oclcnum"118480"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
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:publication
schema:publisher
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.