Cut elimination in categories / ; By Dosen, Kosta

Copyright:1999
ISBN:0792357205
Publisher:Dordrecht : Kluwer,
Physical Details: XII, 229 p. ; 25 cm
Record No.:10390
Type/Format Call Number Location Due Date Last Seen Barcode
Books Istituto di Ingegneria Biomedica 2010-04-13 LADSEB5830