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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00039620 | [disponible] |