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

1. Logic, methodology, and philosophy of science VI : proceedings of the sixth international congress of logic, methodology and phylosophy of science, Hannover, 1979 /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1982 . XIV, 856 p. ; 23 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
2. Proceedings of the Second Scandinavian Logic Symposium /   Publication: Amsterdam : North-Holland Pub. Co., 1971 . 413 p. ; , Held June 18-20, 1970. A meeting of the Association for Symbolic Logic. 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
3. Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /   Publication: Amterdam : North-Holland, 1973 . VIII, 317 p. ; , Sponsored by the College of Liberal Arts of Temple University and the Association for Symbolic Logic 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
4. Logic colloquium '69 : proceedings of the Summer school and Colloquiun in Mathematical Logic, Manchester, August 1969 /   Publication: Amsterdam North-Holland, 1971 . XIV, 451 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
5. 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:
6. Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 386 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
7. Vol. 1   Publication: Cambridge, (Mass.) : The MIT Press, 1989 . X, 642 p. : 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
8. Vol. 1   Publication: Cambridge : The MIT Press, 1988 . XX, 858 p. : 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
9. Vol. 1   Publication: Cambridge : The MIT Press, 1987 . XIV, 555 p. : 23 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
10. Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1979 . X, 434 o. ; 23 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
11. Vol. 2   Publication: Cambridge : The MIT Press, 1988 . XX, P. 860-1690 p. : 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
12. Vol. 2   Publication: Cambridge : The MIT Press, 1987 . XIV, P. 555-1056 p. : 23 cm Date:1987 Availability: No items available: Checked out (1), Actions:
13. Vol. 2   Publication: Cambridge, (Mass.) : The MIT Press, 1989 . X, P646-1239 : 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
14. Logic colloquium 1973 : proceedings of the Logic Colloquium, Bristol, July 1973 /   Publication: Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1975 . VIII, 513 p. ; 23 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
15. Cambridge Summer School in Mathematical Logic, held in Cambridge, England, August 1-21, 1971 /   Publication: Berlin ; New York : Springer-Verlag, 1973 . IX, 660 p. ; 25 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
16. Contributions to non-standard analysis /   Publication: Amsterdam : North-Holland Pub. Co., 1972 . VI, 291 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
17. Natural language and logic : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1990 . 252 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
18. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /   Publication: Berlin ; New York : Springer-Verlag, 1986 . IX, 311 p. : 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
19. Third International Conference on logic programming, Imperial College of Science and technology, London, United Kingdom, July 14-18, 1986 : proceedings /   Publication: Berlin : Springer-Verlag, 1986 . IX, 720 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
20. Logic and data bases /   Publication: New York : Plenum Press, 1978 . VIII, 458 p. : 26 cm. Date:1978 Availability: No items available: Checked out (1), Actions: