logique # calcul propositionnel # calcul de prédicat # théorie des modèles # théorie de la démonstration # décidabilité # calculabilité # fondement des mathématiques # machine de Turing # théorème de Church # théorème de Gödel # théorème de Gentzen # théorème d'Herbrand # interpolation de Craig # théorème de complétude de Gödel # théorème de Löwenheim-Skolem

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

Titre Original : Mathematical logic

Langue originale : Anglais

Collation : 24 cm # rel. ; Bibliogr. ; Index

Collection : Collection U

Sous collection : Epistémologie

Localisation : Ouvrage RdC (KLEE)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires