Normalization, Cut-elimination, and the Theory of Proofs (English Language Edition)

311.52 MYR
会員価格
280.37
English
Publisher
-
Publication Date
Feb 1992
ISBN
9780937073834
Pages
-
Item Type
Book
Format
-

Unavailable

This product is currently out of stock. Please check back later.

Discount is applied at checkout.

Recently Viewed Items

Related Products