Structural Proof Theory

Auteur: Negri, Professor Sara
Editeur: Cambridge University Press
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Sur commande
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
ISBN / EAN 9780521068420
Auteur Negri, Professor Sara
Editeur Cambridge University Press