Couverture : Normalization, cut-elimination, and the theory of proofs

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Normalization, cut-elimination, and the theory of proofs

Anthony M. Ungar

Autre Première publication : 1992

Sujets

Théorie de la démonstration

Éditions (1)

Couverture : Normalization, cut-elimination, and the theory of proofs

Normalization, cut-elimination, and the theory of proofs

CSLI (Stanford, Calif) · 1992 · 9780937073834