Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information - Lecture Notes)

A. M. Ungar / Center for the Study of Language and Inf 1992
236 pp., paperback, very good. Volumes Included: 1

ISBN: 0937073822
Subject/Keywords: Language va3 mathematics philosophy

Item #: 1315601

$26.60

Add To Cart