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

Unhighlight Highlight
1. Probabilities and potential / by Dellacherie, Claude Publication: Paris : Hermann ; Amsterdam ; New York : North-Holland Pub. Co., 1978 . 567 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
2. History of functional analysis / by Dieudonne', Jean Alexandre Publication: Amsterdam ; New York : North Holland Pub. Co. 1981 . VI, 312 p. ; , North-Holland mathematics studies; 49 24 cm. Availability: No items available: Checked out (1), Actions:
3. Proof theory / by Takeuti, Gaisi Publication: Amsterdam : North-Holland, 1975 . VII, 372 p. ; 23 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
4. 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:
5. Degrees of unsolvability / by Shoenfield, Joseph R. Publication: Amsterdam : North-Holland, 1971 . 111 p. ; 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
6. Analysis on real and complex manifolds / by Narasimhan, Raghavan Publication: Paris : Masson ; Amsterdam : North-Holland Pub. Co., 1968 . X, 246 p. ; 23 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
7. 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:
8. 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:
9. 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:
10. 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:
11. 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:
12. 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:
13. 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:
14. 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:
15. 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:
16. Undecidable theories / by Tarski, Alfred Publication: Amsterdam : North-Holland, 1971 . XI, 98 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
17. 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:
18. 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:
19. 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:
20. 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:
1 2 Next >>