Search results for: Ungar, A. M. (Anthony M.), 1945-

1. Select result number 1
   1
   

   Normalization, cut-elimination, and the theory of proofs

   Authors: Ungar, A. M. (Anthony M.), 1945-
   Published: CSLI, 1992

   Physical Description: v, 236 pages : illustrations ; 24 cm.

   Holdings: Loading…

   Call Number: Loading…
   

   Book Loading…