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

Unhighlight Highlight
1. Programming in Martin Lof' s type theory : an introduction / by Nordstrom, Bengt Publication: Oxford : Clarendon Press, 1990 . 221 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
2. Automated deduction in multiple-valued logics / by Hahnle, Reiner Publication: Oxford : Clarendon Press, 1993 . IX, 172 p. : 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions: