omitir hasta el contenido
Frege and Gödel; two fundamental texts in mathematical logic. Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

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

Autor: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
Editorial: Cambridge, Mass., Harvard University Press, 1970.
Edición/Formato:   Print book : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Formato físico adicional: Online version:
Van Heijenoort, Jean, 1912-1986.
Frege and Gödel.
Cambridge, Mass., Harvard University Press, 1970
(OCoLC)679547381
Tipo de material: Recurso en Internet
Tipo de documento: Libro/Texto, Recurso en Internet
Todos autores / colaboradores: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
ISBN: 0674318447 9780674318441 0674318455 9780674318458
Número OCLC: 118480
Notas: "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Descripción: 116 pages illustrations 26 cm
Contenido: 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).

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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://experiment.worldcat.org/entity/work/data/118972668#Person/frege_gottlob_1848_1925> ; # Gottlob Frege
   schema:contributor <http://experiment.worldcat.org/entity/work/data/118972668#Person/godel_kurt> ; # Kurt Gödel
   schema:creator <http://experiment.worldcat.org/entity/work/data/118972668#Person/van_heijenoort_jean_1912_1986> ; # 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&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%5Fatt%5F2=simple%5Fviewer> ;
   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#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Person/van_heijenoort_jean_1912_1986> # 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://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"@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://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

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.