Refine your search

Your search returned 991 results.

Sort
Results
901.
Unitary representations and harmonic analysis: an introduction/ Mitsuo Sugiura. by
  • Sugiura, Mitsuo, 1928-
Series: North-Holland mathematical library ; v. 44. | Kodansha scientific books
Edition: 2nd ed.
Publication details: Amsterdam ; New York: Tokyo: New York: North-Holland, Kodansha, North-Holland/Elsevier, 1990
Availability: Items available for loan: Castorina (1)Call number: 512.55 S947u 1990 IMPA.

902.
Apuleian logic. by
  • Sullivan, Mark W
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1967
Availability: Items available for loan: Castorina (1)Call number: 511.3 S951a 1967 IMPA.

903.
Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965/ Edited by John N. Crossley. by
  • Summer School in Mathematical Logic (1965 : University of Leicester)
  • Crossley, John N [comp.]
  • University of Leicester
  • Logic Colloquium (10th : 1965 : University of Leicester)
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1967
Availability: Items available for loan: Castorina (1)Call number: 511.3 S495 1967 IMPA.

904.
Logic Colloquium '69; proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969/ Edited by R.O. Gandy and C.M.E. Yates. by
  • Summer School in Mathematical Logic (1969 : University of Manchester)
  • Gandy, R. O. (Robin O.) [ed.]
  • Yates, C. Michael E [ed.]
  • North Atlantic Treaty Organization
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • University of Manchester
  • Association for Symbolic Logic
  • Logic Colloquium (14th : 1969 : Manchester, Eng.)
Series: Studies in logic and the foundations of mathematics ; v. 61
Publication details: Amsterdam ;: North-Holland, 1971
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1971 IMPA.

905.
A probabilistic theory of causality/ by Patrick Suppes. by
  • Suppes, Patrick, 1922-
Series: Acta philosophica Fennica ; Fasc. 24.
Publication details: Amsterdam: North-Holland, 1970
Availability: Items available for loan: Castorina (1)Call number: 511.3 S959p 1970 IMPA.

906.
Laws and chance variations; Basic concepts of statistical inference. by
  • Sverdrup, Erling
Language: engdan
Publication details: Amsterdam ; North-Holland, 1967
Availability: Items available for loan: Castorina (2)Call number: 519.5 S968l 1967 IMPA, ...

907.
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.

908.
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.

909.
Contributions to non-standard analysis/ Edited by W. A. J. Luxemburg and A. Robinson. by
  • Symposium on Non-standard Analysis (1970 : Oberwolfach, Ger.)
  • Luxemburg, W. A. J, 1929-
  • Robinson, Abraham, 1918-1974 [ed.]
Series: Studies in logic and the foundations of mathematics ; v. 69.
Publication details: Amsterdam: North-Holland, 1972
Availability: Items available for loan: Castorina (1)Call number: 511.3 C764 1972 IMPA.

910.
Relativity: the special theory/ by J.L. Synge. by
  • Synge, J. L. (John Lighton), 1897-
Edition: 2nd ed., third printing.
Publication details: Amsterdam ; North-Holland, c1972
Availability: Items available for loan: Castorina (1)Call number: 530.11 S993r 1972 IMPA.

911.
Relativity: the general theory. by
  • Synge, J. L. (John Lighton), 1897-
Publication details: Amsterdam ; North-Holland, 1971
Availability: Items available for loan: Castorina (1)Call number: 530.11 S993r 1971 IMPA.

912.
Talking about relativity/ by J. L. Synge. by
  • Synge, J. L. (John Lighton), 1897-
Publication details: Amsterdam ; London: North-Holland, 1970
Availability: Items available for loan: Castorina (1)Call number: 530.11 S993t 1970 IMPA.

913.
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.

914.
Variable dimension fixed point algorithms and triangulations/ A.J.J. Talman ; with the collaboration of G. van der Laan. by
  • Talman, A. J. J
  • Laan, G. van der
Series: Mathematical Centre tracts ; 128
Publication details: Amsterdam: Mathematisch Centrum, 1980
Availability: Items available for loan: Castorina (1)Call number: 519.76 T151v 1980 IMPA.

915.
Ordinal algebras/ with appendices by Chen-Chung Chang and Bjarni Jónsson. by
  • Tarski, Alfred, 1901-1983
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1956
Availability: Items available for loan: Castorina (1)Call number: 511.3 T193o 1956 IMPA.

916.
Undecidable theories/ In collaboration with Andrzej Mostowski and Raphael M. Robinson. by
  • Tarski, Alfred, 1901-1983
  • Mostowski, Andrzej
  • Robinson, Raphael M. (Raphael Mitchel), 1911-
Series: Studies in logic and the foundations of mathematics
Edition: [2d printing]
Publication details: Amsterdam: North-Holland, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 T193u 1968 IMPA.

917.
Redundancy and linear programs/ J. Telgen. by
  • Telgen, J
Series: Mathematical Centre tracts ; 137.
Publication details: Amsterdam ; Mathematisch Centrum, 1981
Availability: Items available for loan: Castorina (1)Call number: 519.72 T271r 1981 IMPA.

918.
Statistical physics/ [by] Ya. P. Terletskii. Translated from the Russian by Nanny Fröman. by
  • Terletskii, Ya. P., (YAkov Petrovich), 1912-
Language: English Original language: Russian
Publication details: Amsterdam: North-Holland, 1971
Availability: Items available for loan: Castorina (1)Call number: 530 T318s 1971 IMPA.

919.
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.

920.
Economics and information theory. by
  • Theil, Henri
Series: Studies in mathematical and managerial economics ; v. 7.
Publication details: Amsterdam ; Chicago ; North-Holland, Rand McNally, 1967
Availability: Items available for loan: Castorina (1)Call number: 330.01 T376e 1967 IMPA.

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


Powered by Koha