En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Mathematical logic

Sélection Signaler une erreur
Ouvrage

Ebbinghaus, Heinz-Dieter (Principal) ; Flum, Jörg (Co-auteur) ; Thomas, Wolfgang (Co-auteur)

Springer

2021

ix; 304 p.

978-3-030-73838-9

00041103

03-01 ; 03B10 ; 03B99 ; 03C07

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 L41103 00041103 [disponible]
Sélection Signaler une erreur