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

21. 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:
22. Topics in philosophical logic / by Rescher, Nicholas Publication: Dordrecht : D. Reidel, 1968 . XIV, 347 p. ; 23 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
23. The theory of logical types / by Copi, Irving M. Publication: London : Routledge and Kegan Paul, 1971 . X, 129 p. ; 18 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
24. Introduction to model theory and the metamathematics of algebra / by Robinson, Abraham Publication: Amsterdam : North-Holland Pub. Co., 1963 . IX, 284 p. ; , Based on the author's thesis, University of London. 23 cm. Date:1963 Availability: No items available: Checked out (1), Actions:
25. 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:
26. Model theory / by Chang, Chen Chung Publication: Amstedam : North-Holland Pub. Co., 1973 . XII, 550 p. ; 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
27. The theory of semisets / by Vopenka, Petr Publication: Amsterdam : North-Holland Pub. Co., 1972 . 332 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
28. 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:
29. Part 1: with an introductory chapter: general theory of algebras   Publication: Amsterdam : North-Holland Pub. Co., 1971 . VI, 508 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
30. Computer programming and formal systems / by Braffort, P. Publication: Amsterdam : North-Holland, 1963 . VI, 161 p. ; 23 cm. Date:1963 Availability: No items available: Checked out (1), Actions:
31. 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:
32. Intuitionism : an introduction / by Heyting, Arend Publication: Amsterdam : North-Holland Co., 1971 . VIII, 147 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
33. The foundations of mathematics : a study in the philosophy of science / by Beth, Evert Willem Publication: Amsterdam : North-Holland Pub., 1965 . XXVI, 741 p. : 23 cm. Date:1965 Availability: No items available: Checked out (1), Actions:
34. 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:
35. 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:
36. Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / by Keisler, H. Jerome Publication: Amsterdam : North-Holland Pub. Co., 1971 . X, 208 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
37. 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:
38. The metamathematics of algebraic systems, collected papers: 1936-1967 / by Mal'cev, Anatolii Ivanovich Publication: Amsterdam : North-Holland Pub. Co., 1971 . XVIII, 494 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
39. Recursive number theory : a develpment of recursive arithmetic in a logic-free equation calculus / by Goodstein, R. L. Publication: Amsterdam : Nort-Holland, 1964 . XII, 190 p. ; 21 cm. Date:1964 Availability: No items available: Checked out (1), Actions:
40. Solvable cases of the decision problem / by Ackermann, W. Publication: Amsterdam : North-Holland, 1968 . VIII, 114 p. ; 23 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
1 2 3 4 5 6 7 8 Next >>