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

Unhighlight Highlight
101. 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:
102. 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:
103. 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:
104. 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:
105. 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:
106. 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:
107. 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:
108. 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:
109. 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:
110. Foundations of set theory / by Fraenkel, Abraham A. Publication: Amsterdam-London : North-Holland Publishing Company, 1973 . X, 404 p. ; 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
111. Structured programming / by Dahl, Ole Johan Publication: London ; New York : Academic Press, 1972 . VIII, 220 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
112. Elements of mathematical logic : model theory / by Kreisel, G. Publication: Amsterdam : North-Holland, 1971 . XVII, 231 p. ; 22 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
113. Vol. 2   Publication: Amsterdam : North-Holland, 1972 . XIV, 520 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
114. Logic, methodology and philosophy of science : proceedings of the 1964 international congress /   Publication: Amsterdam : North-Holland, 1972 . VIII, 440 p. : 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
115. The theory of models : proceedings of the 1963 international symposium at Berkeley /   Publication: Amsterdam : North-Holland, 1972 . XV, 494 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
116. Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 /   Publication: London ; New York : Academic Press, 1972 . XII, 390 p. ; , Held 30 August-3 September, 1971; sponsored by International Computers Limited and the Advanced Computer Technology Projiect. 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
117. Applied statistical decision theory / by Raiffa, Howard Publication: Boston : Division of Research, 1961 . 356 p. : 26 cm. Date:1961 Availability: No items available: Checked out (1), Actions:
118. Stability theory of dynamical systems / by Willems, Jacques Leopold Publication: London : Nelson, 1970 . XVII, 201 p. ; 23 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
119. Poisson processes / by Kingman, John Frank Charles Publication: Oxford : Clarendon Press, 1993 . VIII, 104 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
120. Substructural logics /   Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1993 . X, 386 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>