Structural Proof Theory

Negri, Professor Sara Von Plato, Jan

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
276
Parution
juillet 2008
Format
Livre broché
Langue
Anglais
Dimensions
228 × 152 × 16 cm
EAN
9780521068420
  • Résumé

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page