m
     
Ouvrage

H 0 Logique mathématique

Kleene, Stephen C. (Principal) ; Largeault, Jean (Traducteur)

Librairie Armand Colin

1971

412 p.

00027399

03-01

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00027399

[disponible]
Z