FrançaisMathematical logic
Ouvrage
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é
Publisher City : Cham
Publisher country : Suisse
Language : English
Edition nb : 3rd edition
EAN13 : 9783030738389
ISSN : 0072-5285
Collation : 25 cm#rel.#index
Series : Graduate texts in mathematics
Nb in series : 0291
Location : Collection 1er étage
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | L41103 | 00041103 | [available] |
