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

$47.83

Save $4.78 (10%) on this item.
Price with promotion code: $43.05

Add To Cart