m
     
Ouvrage

H 0 Sentences undecidable in formalized arithmetic :
an exposition of the theory of Kurt Gödel

Mostowski, Andrzej (Principal)

North-Holland Publishing Co.

1964

117 p.

00004208

03B25 ; 03D20 ; 03D35

arithmétique formalisée # fonction et relation # logique # récursivité et définabilité # sentence indécidable # système (S) # sémantique de (S) # théorie de Gödel # théorème arithmétique prouvable dans (S) # théorème d'incomplétude

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : Bibliogr. ; viii#22 cm#broch.

Collection : Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (MOST)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00004208

[disponible]
Z