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

Unhighlight Highlight
81. 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:
82. 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:
83. Mathematical methods in investment and finance /   Publication: Amsterdam : North Holland Pub. Co.; New York : American Elsevier, 1972 . X, 665 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
84. Quadratic programming / by Boot, John C.G. Publication: Amsterdam : North-Holland, 1964 . XVII, 213 p. ; 23 cm. Date:1964 Availability: No items available: Checked out (1), Actions:
85. Hilbert space operators and operator algebras /   Publication: Amsterdam : North-Holland, 1972 . 544 p. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
86. 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:
87. 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:
88. 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:
89. Integer and nonlinear programming /   Publication: Amsterdam : North-Holland Pub. Co., 1970 . X, 544 p. ; , A NATO Summer School held in Bandol, France, sponsored by the Scientific Affairs Division of NATO 23 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
90. Vol. 1   Publication: Amsterdam : North-Holland Pub. Co.; New York, 1973 . 534 p. : 27 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
91. Harmonic analysis of operators on Hilbert space / by Szokefalvi-Nagy, Bela Publication: Amsterdam : North-Holland Pub. Co., 1970 . XIII, 387 p. ; 24 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
92. 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:
93. 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:
94. Finite automata : behavior and synthesis / by Trakhtenbrot, Boris Avraamovich Publication: Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1973 . XI, 321 p. : 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
95. Vol. 1   Publication: Amsterdam : North-Holland, 1986 . XLVI, 612 p. : 26 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
96. 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:
97. 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:
98. 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:
99. 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:
100. 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:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>