The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
"synopsis" may belong to another edition of this title.
£ 3.80 shipping within United Kingdom
Destination, rates & speedsSeller: G. & J. CHESTERS, TAMWORTH, United Kingdom
Soft cover. Condition: Very Good. pp.ix, 200 pages, a very good paperback, from a uk university library [0937073776]. Seller Inventory # 133939
Quantity: 1 available