m
     
Ouvrage

H 1 Basic proof theory

Troelstra, A. S. (Principal) ; Schwichtenberg, H. (Co-auteur)

Cambridge University Press

2000

xii; 417 p.

978-0-521-77911-1

00039620

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

Ville d'édition : Cambridge ; New York ; Melbourne

Pays d'édition : Grande-Bretagne ; États-Unis ; Australie

Langue : Anglais

N° édition : 2nd ed.

EAN13 : 9780521779111

Collation : 23 cm#broch.#bibliogr.#index

Collection : Cambridge tracts in theoretical computer science

N° de collection : 0043

Localisation : Ouvrage RdC (TROE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00039620 [disponible]
Z