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

Unhighlight Highlight
1. Vol. 1: Background : mathematical structures   Publication: Oxford : Clarendon Press, 1992 . XII, 827 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
2. Vol. 2.: Deduction methodologies /   Publication: Oxford : Clarendon Press, 1994 . XV, 511 p. ; 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
3. 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:
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. 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:
6. Temporal logic : mathematical foundations and computational aspects / by Gabbay, Dov M. Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1994 . XIV, 653 p. : 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
7. Vol. 2: Background : computational structures   Publication: Oxford : Clarendon Press, 1992 . X, 571 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
8. Mathematical logic and theoretical computer science /   Publication: New York : Dekker, 1987 . XVIII, 383 p. ; , Papers presented during thr XVI special year of the department of mathematics of the University of Maryland, 1984-1985 26 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
9. An introduction to mathematical logic and type theory : to truth through proof / by Andrews, Peter Bruce Publication: Orlando : Academic Press, 1986 . XV, 304 p. ; 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
10. 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:
11. Classical invariant theory / by Olver, Peter J. Publication: Cambridge : Cambridge University Press, 1999 . XXI, 280 ; 23 cm. Date:1999 Availability: No items available: Checked out (1), Actions:
12. Vol. 3.: Nonmonotonic reasoning and uncertain reasoning /   Publication: Oxford : Clarendon Press, 1994 . XIX, 529 p. ; 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
13. Foundation of the logical theory of scientific knowledge (Complex logic) / by Zinov'ev, Aleksandr Aleksandrovich Publication: Dordrecht : Reidel, 1973 . XXII, 301 p. ; 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
14. Algebraic logic / by Halmos, Paul Richard Publication: New York : Chelsea Pub. Co., 1962 . 271 p. ; 26 cm. Date:1962 Availability: No items available: Checked out (1), Actions:
15. Logic and visual information / by Hammer, Eric M. Publication: Stanford : CSLI Publications ; [s.l.] : Folli, 1995 . IX, 124 p. ; 23 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
16. 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:
17. 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:
18. The collected papers of Gerhard Gentzen / by Gentzen, Gerhard Publication: Amsterdam : North-Holland Pub. Co., 1969 . XII, 338 p. : 23 cm. Date:1969 Availability: No items available: Checked out (1), Actions:
19. Set theory and logic / by Stoll, Robert R. Publication: San Francisco : Freeman, 1963 . 474 p. : 23 cm. Date:1963 Availability: No items available: Checked out (1), Actions:
20. 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:
1 2 3 4 Next >>