aller au contenu
Frege and Gödel; two fundamental texts in mathematical logic. Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

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

Auteur : Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
Éditeur : Cambridge, Mass., Harvard University Press, 1970.
Édition/format :   Livre : AnglaisVoir toutes les éditions et tous les formats
Base de données :WorldCat
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format – détails additionnels : Online version:
Van Heijenoort, Jean, 1912-1986.
Frege and Gödel.
Cambridge, Mass., Harvard University Press, 1970
(OCoLC)679547381
Type d’ouvrage : Ressource Internet
Format : Livre, Ressource Internet
Tous les auteurs / collaborateurs : Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
ISBN : 0674318447 9780674318441 0674318455 9780674318458
Numéro OCLC : 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
Contenu : 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).

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


<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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.