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

141. A course in mathematical logic / by Bell, John Lane Publication: Amsterdam : North-Holland Pub. Co., 1977 . XVIII, 599 p. ; 23 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
142. Solving the frame problem : a mathematical investigation of the common sense law of inertia / by Shanahan, Murray Publication: Cambridge : The Mit Press, 1997 . XXXIV, 407 p. : 24 cm. Date:1997 Availability: No items available: Checked out (1), Actions:
143. 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:
144. Many-valued logics / by Malinowski, Grzegorz Publication: Oxford : Clarendon Press, 1993 . VII, 131 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions: