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

Unhighlight Highlight
1. Proof theory / by Takeuti, Gaisi Publication: Amsterdam : North-Holland, 1975 . VII, 372 p. ; 23 cm. Date:1975 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
2. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
3. Model theory / by Chang, Chen Chung Publication: Amstedam : North-Holland Pub. Co., 1973 . XII, 550 p. ; 23 cm. Date:1973 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
4. The theory of semisets / by Vopenka, Petr Publication: Amsterdam : North-Holland Pub. Co., 1972 . 332 p. ; 23 cm. Date:1972 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
5. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
6. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
7. Computer programming and formal systems / by Braffort, P. Publication: Amsterdam : North-Holland, 1963 . VI, 161 p. ; 23 cm. Date:1963 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
8. Contributions to non-standard analysis /   Publication: Amsterdam : North-Holland Pub. Co., 1972 . VI, 291 p. ; 23 cm. Date:1972 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
9. Intuitionism : an introduction / by Heyting, Arend Publication: Amsterdam : North-Holland Co., 1971 . VIII, 147 p. ; 23 cm. Date:1971 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
10. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
11. The collected papers of Gerhard Gentzen / by Gentzen, Gerhard Publication: Amsterdam : North-Holland Pub. Co., 1969 . XII, 338 p. : 23 cm. Date:1969 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
12. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
13. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
14. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
15. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
16. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
17. Solvable cases of the decision problem / by Ackermann, W. Publication: Amsterdam : North-Holland, 1968 . VIII, 114 p. ; 23 cm. Date:1968 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
18. Foundations of set theory / by Fraenkel, Abraham A. Publication: Amsterdam-London : North-Holland Publishing Company, 1973 . X, 404 p. ; 23 cm. Date:1973 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
19. Elements of mathematical logic : model theory / by Kreisel, G. Publication: Amsterdam : North-Holland, 1971 . XVII, 231 p. ; 22 cm. Date:1971 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
20. Vol. 2   Publication: Amsterdam : North-Holland, 1972 . XIV, 520 p. ; 23 cm. Date:1972 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
1 2 Next >>