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