Mathematical logic
Ebbinghaus, Heinz-Dieter (Principal) ; Flum, Jörg (Co-auteur) ; Thomas, Wolfgang (Co-auteur)
2021
ix; 304 p.
978-3-030-73838-9
00041103
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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | L41103 | 00041103 | [disponible] |