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

41. Foundations of set theory / by Fraenkel, Abraham A. Publication: Amsterdam-London : North-Holland Publishing Company, 1973 . X, 404 p. ; 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
42. Elements of mathematical logic : model theory / by Kreisel, G. Publication: Amsterdam : North-Holland, 1971 . XVII, 231 p. ; 22 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
43. Vol. 2   Publication: Amsterdam : North-Holland, 1972 . XIV, 520 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
44. Logic, methodology and philosophy of science : proceedings of the 1964 international congress /   Publication: Amsterdam : North-Holland, 1972 . VIII, 440 p. : 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
45. The theory of models : proceedings of the 1963 international symposium at Berkeley /   Publication: Amsterdam : North-Holland, 1972 . XV, 494 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
46. Mathematical logic / by Shoenfield, Joseph R. Publication: Reading : Addison-Wesley Pub. Co., 1967 . VII, 344 p. : 25 cm. Date:1967 Availability: No items available: Checked out (1), Actions:
47. Applied research in fuzzy technology : three years of research at thee Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan /   Publication: Boston : Kluwer Academic Publisher, 1994 . XVI, 457 p. ; 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
48. Fril, fuzzy and evidential reasoning in artificial intelligence / by Baldwin, James Frederick Publication: Taunton, Somerset, England : Research Studies Press ; New York : Wiley, 1995 . XVII, 388 p. : 26 cm. + 2 diskette Date:1995 Availability: No items available: Checked out (1), Actions:
49. Substructural logics /   Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1993 . X, 386 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
50. The art of prolog : advanced programming techniques / by Sterling, Leon Publication: Cambridge ; London : The MIT Press, 1994 . XXXVIII, 509 p. ; 23 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
51. Vol. 1: Logical foundations /   Publication: Oxford : Oxford University Press, 1974 . XV, 511 p. ; 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
52. The mathematics of inheritance systems / by Touretzky, David S. Publication: London : Pitman, 1986 . 220 p. ; 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
53. Specifyng message passing and time-critical systems with temporal logic / by Koymans, Ron Publication: Berlin : Springer-Verlag, 1992 . VIII, 164 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
54. Termination proofs for logic programs / by Plumer, Lutz Publication: Berlin : Springer Verlag, 1990 . VIII, 142 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
55. Nonmonotonic reasoning : logical foundations of commonsense / by Brewka, Gerhard Publication: Cambridge : Cambridge University Press, 1991 . XI, 168 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
56. Language in action : categories, lambdas and dynamic logic / by Benthem, Johan Van Publication: Amsterdam : North Holland, 1991 . X, 349 p. ; 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
57. Deduction / by Johnson-Laird, Philip Nicholas Publication: Hove ; London : L. Erlbaum Associates, 1991 . 224 p. : 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
58. Intensional logics for programming / by Farinas Del Cerro, Luis Publication: Oxford : Clarendon Press, 1992 . IX, 228 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
59. Studies on natural logic and categorical grammar : Academisch proefschrift / by Sanchez Valencia, Victor Manuel Publication: [Amsterdam : s. l. : 199?] . VI, 197 p. ; , Acadmisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P. W. M. de Meijer in het openbaar te verdedigen in de Aula der Universiteit 22 cm. Availability: No items available: Checked out (1), Actions:
60. Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . XI, 492 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions: