Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Cut elimination in categories /

by Dosen, Kosta
Normal View ISBD View
Series: *Trends in logic : studia logica library ; . 6 Published by : Kluwer, (Dordrecht : ) Physical details: XII, 229 p. ; 25 cm Subject(s): Informatics Year : 1999
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.