logique de 1er ordre # preuve mathématique # limite des algorithmes # théorème d'incomplétude de Gödel # théorème d'indécidabilité de Trakhtenbrot # théorème de Lindström sur la maximalité

Ville d'édition : Cham

Pays d'édition : Suisse

Langue : Anglais

N° édition : 3rd edition

EAN13 : 9783030738389

ISSN : 0072-5285

Collation : 25 cm#rel.#index

Collection : Graduate texts in mathematics

N° de collection : 0291

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires