Your search returned 494 results.

Sort
Results
461.
Generalized recursion theory. Proceedings of the 1972 Oslo symposium/ Ed. by J. E. Fenstad and P. G. Hinman. by
  • Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)
  • Fenstad, Jens Erik [ed.]
  • Hinman, Peter G [ed.]
Series: Studies in logic and the foundations of mathematics ; v. 79.
Publication details: Amsterdam ; New York: North-Holland, American Elsevier, 1974
Availability: Items available for loan: Castorina (1)Call number: 511.3 G326 1974 IMPA.

462.
Generalized recursion theory II: proceedings of the 1977 Oslo symposium/ edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks. by
  • Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
  • Fenstad, Jens Erik
  • Gandy, R. O. (Robin O.)
  • Sacks, Gerald E
Series: Studies in logic and the foundations of mathematics ; v. 94.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978
Availability: Items available for loan: Castorina (1)Call number: 511.3 G326 1978 IMPA.

463.
Algebra of proofs/ M. E. Szabo. by
  • Szabo, M. E
Series: Studies in logic and the foundations of mathematics ; v. 88.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978
Availability: Items available for loan: Castorina (1)Call number: 511.3 S996a 1978 IMPA.

464.
Linear aggregation of economic relations/ by H. Theil. by
  • Theil, Henri
Series: Contributions to economic analysis ; 7
Edition: 1st ed.
Publication details: Amsterdam ; New York: North-Holland, American Elsevier, c1955. (1974 printing)
Availability: Items available for loan: Castorina (1)Call number: 311.23 T376l 1974 IMPA.

465.
Pattern recognition/ Sergios Theodoridis and Konstantinos Koutroumbas. by
  • Theodoridis, Sergios, 1951-
  • Koutroumbas, Konstantinos, 1967-
Edition: 3rd ed.
Publication details: Amsterdam; Boston: Elsevier/Academic Press, c2006
Availability: Items available for loan: Castorina (1)Call number: 006.4 T388p 2006 IMPA.

466.
Numerical grid generation: foundations and applications/ Joe F. Thompson, Z. U. A. Warsi, C. Wayne Mastin. by
  • Thompson, Joe F
  • Warsi, Z. U. A
  • Mastin, C. Wayne
Publication details: New York: North-Holland, Elsevier, c1985
Availability: Items available for loan: Castorina (1)Call number: 519.4 T473n 1985 IMPA.

467.
International economic integration. by
  • Tinbergen, Jan, 1903-
Edition: 2d rev. ed.
Publication details: Amsterdam ; New York: Elsevier, 1965
Availability: Items available for loan: Castorina (1)Call number: 338.91 T587i 1965 IMPA.

468.
Big-planes, boundaries and function algebras/ Toma, V. Tonev. by
  • Tonev, Toma V, 1945-
Series: North-Holland mathematics studies ; 172.
Publication details: Amsterdam; New York; New York: North-Holland; North-Holland/Elsevier, 1992
Availability: Items available for loan: Castorina (1)Call number: 515.9 T664b 1992 IMPA.

469.
Constructivism in mathematics: an introduction/ A.S. Troelstra, D. van Dalen. by
  • Troelstra, A. S. (Anne Sjerp)
  • Dalen, D. van (Dirk), 1932-
Series: Studies in logic and the foundations of mathematics ; v. 121.
Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988
Availability: Items available for loan: Castorina (1)Call number: 511.3 T843c 1988 IMPA.

470.
Mechanical intelligence/ edited by D. C. Ince. by
  • Turing, Alan Mathison, 1912-1954
  • Ince, D. (Darrel)
Series: Turing, Alan Mathison ; Collected works of A.M. Turing
Publication details: Amsterdam; New York; New York: North-Holland; Elsevier, 1992
Availability: Items available for reference: Castorina: Not For Loan (1).

471.
Morphogenesis/ edited by P. T. Saunders. by
  • Turing, Alan Mathison, 1912-1954
  • Saunders, P. T. (Peter Timothy), 1939-
Series: Turing, Alan Mathison ; Collected works of A.M. Turing
Publication details: Amsterdam ; New York: [New York]: North-Holland, Elsevier, 1992
Availability: Items available for reference: Castorina: Not For Loan (1).

472.
Pure mathematics/ edited by J. L. Britton ; with a section on Turing's statistical work by I. J. Good. by
  • Turing, Alan Mathison, 1912-1954
  • Britton, J. L, 1927-
  • Good, Irving John
Series: Turing, Alan Mathison ; Collected works of A.M. Turing
Publication details: Amsterdam ; New York: New York: North-Holland, Elsevier, 1992
Availability: Items available for reference: Castorina: Not For Loan (1).

473.
Mathematical logic/ edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]. by
  • Turing, Alan Mathison, 1912-1954
  • Gandy, R. O. (Robin O.)
  • Yates, C. E. M
Series: Turing, Alan Mathison ; Collected works of A.M. Turing
Publication details: Amsterdam; New York: Elsevier Science, 2001
Availability: Items available for reference: Castorina: Not For Loan (1).

474.
Introduction to the theory of matroids/ [by] W. T. Tutte. by
  • Tutte, W. T
Series: Modern analytic and computational methods in science and mathematics ; v. 37.
Publication details: New York: American Elsevier, 1971
Availability: Items available for loan: Castorina (1)Call number: 511.5 T967i 1971 IMPA.

475.
Transient waves in layered media/ M. Tygel and P. Hubral. by
  • Tygel, Martin
  • Hubral, Peter
Series: Methods in geochemistry and geophysics ; 26.
Publication details: Amsterdam: New York: Elsevier, 1987
Availability: Items available for loan: Castorina (2)Call number: 531.1133 T979t 1987 IMPA, ...

476.
Partial differential equations of mathematical physics/ Tyn Myint U. by
  • Tyn Myint U
Edition: [1st ed.]
Publication details: New York: American Elsevier, 1973
Availability: Items available for loan: Castorina (1)Call number: 515.35 T987p 1973 IMPA.

477.
Symmetric Banach manifolds and Jordan C*-algebras/ Harald Upmeier. by
  • Upmeier, Harald
Series: North-Holland mathematics studies ; 104. | Notas de Matemática (North-Holland) ; no. 96.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1985
Availability: Items available for loan: Castorina (1)Call number: 515.732 U68s 1985 IMPA.

478.
Topics in locally convex spaces/ Manuel Valdivia. by
  • Valdivia, Manuel, 1928-
Series: North-Holland mathematics studies ; 67. | Notas de Matemática (North-Holland) ; no. 85.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1982
Availability: Items available for loan: Castorina (1)Call number: 515.73 V146t 1982 IMPA.

479.
Divisor theory in module categories/ W. V. Vasconcelos. by
  • Vasconcelos, Wolmer V, 1937-
Series: North-Holland mathematics studies ; 14.
Publication details: Amsterdam ;: New York: North-Holland, American Elsevier, 1974
Availability: Items available for loan: Castorina (1)Call number: 512.55 V331d 1974 IMPA.

480.
Topological fields/ Seth Warner. by
  • Warner, Seth
Series: North-Holland mathematics studies ; 157. | Notas de Matemática (North-Holland) ; no. 126.
Publication details: Amsterdam; New York; New York: North-Holland; Elsevier, 1989
Availability: Items available for loan: Castorina (1)Call number: 512.3 W279t 1989 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha