Book annotation not available for this title. Title: Normalization, Cut-Elimination, and the Theory of Proofs Author: Ungar, A. M. Publisher: Univ of Chicago Pr Publication Date: 1992/10/01 Number of Pages: Binding Type: PAPERBACK Library of Congress: 92013877 Additional Details\N BRAND : Ungar, A. M.
|