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