Refine your search

Your search returned 3415 results.

Sort
Results
2501.
Grundlagen der Mathematik.. I. by
  • Hilbert, David, 1862-1943
  • Bernays, Paul, 1888- [ed.]
Series: Grundlehren der mathematischen Wissenschaften ; 40.
Edition: 2. Aufl.
Publication details: Berlin: Heidelberg: New York: Springer-Verlag, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA.

2502.
Logic and structure/ Dirk van Dalen. by
  • Dalen, D. van (Dirk), 1932-
Series: Universitext
Edition: 2nd ed.
Publication details: Berlin ; New York: Springer-Verlag, c1983
Availability: Items available for loan: Castorina (1)Call number: 511.3 D139l 1983 IMPA.

2503.
Introduction to mathematical logic/ Translated from German by Diana Schmidt. by
  • Hermes, Hans
Series: Universitext
Language: engger
Publication details: Berlin: New York: Springer-Verlag, 1973
Availability: Items available for loan: Castorina (1)Call number: 511.3 H553i 1973 IMPA.

2504.
Vollständige Systeme modaler und intuitionistischer Logik. by
  • Schütte, K. (Kurt)
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42.
Publication details: Berlin: New York: Springer-Verlag, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 S415v 1968 IMPA.

2505.
First-order logic/ Raymond M. Smullyan. by
  • Smullyan, Raymond M
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43.
Publication details: New York: Springer-Verlag, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 S666f 1968 IMPA.

2506.
An analysis of economic size distributions/ Bertil Näslund. by
  • Naslund, Bertil, 1933-
Series: Lecture notes in economics and mathematical systems ; 143.
Publication details: Berlin ; New York: Springer-Verlag, 1977
Availability: Items available for loan: Castorina (1).

2507.
Selected papers/ Saunders Mac Lane ; edited by I. Kaplansky. by
  • Mac Lane, Saunders, 1909-2005
  • Kaplansky, Irving, 1917-
Publication details: New York: Springer-Verlag, c1979
Availability: Items available for reference: Castorina: Not For Loan (1).

2508.
Selected papers/ Marston Morse ; edited by Raoul Bott. by
  • Morse, Marston, 1892-
  • Bott, Raoul, 1923-2005
Publication details: New York: Springer-Verlag, c1981
Availability: Items available for reference: Castorina: Not For Loan (1).

2509.
Selected papers/ Jacob Wolfowitz; edited by J. Kiefer, with the assistance of U. Augustin and L. Weiss. by
  • Wolfowitz, Jacob
  • Kiefer, Jack, 1924-
  • Augustin, U
  • Weiss, Lionel, 1923-
Publication details: New York: Springer-Verlag, c1980
Availability: Items available for reference: Castorina: Not For Loan (1).

2510.
The First Pannonian Symposium on Mathematical Statistics/ [edited by] Pál Révesz, Leopold Schmetterer, V. M. Zolotarev. by
  • Pannonian Symposium on Mathematical Statistics (1st : 1979 : Bad Tatzmannsdorf, Austria)
  • Révész, Pál
  • Schmetterer, Leopold, 1919-
  • Zolotarev, V. M
Series: Lecture notes in statistics (Springer-Verlag) ; v. 8.
Publication details: New York: Springer-Verlag, c1981
Availability: Items available for loan: Castorina (1).

2511.
Stochastic differential systems: filtering and control : proceedings of the IFIP-WG 7/1 working conference, Vilnius, Lithuania, USSR, Aug. 28-Sept. 2, 1978/ edited by B. Grigelionis ; [organized by Institute of Mathematics and Cybernetics of the Lithuanian Academy of Sciences and the Steklov Mathematical Institute of the Academy of Sciences of the USSR]. by
  • Conference on Stochastic Differential Systems (2nd :: 1978 :: Vilnius, Lithuania))
  • Grigelionis, B. (Bronius), 1935-
  • IFIP WG 7.1
  • Matematikos ir kibernetikos institutas (Lietuvos TSR Mokslu akademija)
  • Matematicheskii institut im. V.A. Steklova
Series: Lecture notes in control and information sciences ; 25.
Publication details: Berlin ;: New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

2512.
Mathematical methods and applications of scattering theory: proceedings of a conference held at Catholic University, Washington, D.C., May 21-25, 1979 ; edited by J. A. DeSanto, A. W. Sáenz, and W. W. Zachary. by
  • Conference on Mathematical Methods and Applications of Scattering Theory (1979 : Catholic University of America))
  • DeSanto, J. A. (John Anthony), 1941-
  • Sáenz, Albert William, 1923-
  • Zachary, W. W, 1935-
  • Naval Research Laboratory (U.S.)
Series: Lecture notes in physics ; 130.
Publication details: Berlin ;: New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

2513.
Topology Symposium, Siegen 1979: proceedings of a symposium held at the University of Siegen, June 14-19, 1979/ edited by U. Koschorke and W. D. Neumann. by
  • Topology Symposium (1979 : University of Siegen)
  • Koschorke, U. (Ulrich), 1941-
  • Neumann, W. D. (Walter David), 1946-
Series: Lecture notes in mathematics (Springer-Verlag) ; 788.
Publication details: Berlin ; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

2514.
Geometry and differential geometry: proceedings of a conference held at the University of Haifa, Israel, March 18-23, 1979/ edited by R. Artzy and I. Vaisman. by
  • Conference on Geometry and Differential Geometry (1979 : University of Haifa)
  • Artzy, Rafael
  • Vaisman, Izu
Series: Lecture notes in mathematics (Springer-Verlag) ; 792.
Language: engfreger
Publication details: Berlin ; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

2515.
Measure theory, Oberwolfach, 1979: proceedings of the conference held at Oberwolfach, Germany, July 1-7, 1979/ edited by D. Kölzow. by
  • Conference on Measure Theory (1979 : Oberwolfach, Germany)
  • Kölzow, Dietrich
Series: Lecture notes in mathematics (Springer-Verlag) ; 794.
Publication details: Berlin ; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

2516.
Analytic functions, Kozubnik 1979: proceedings of a conference held in Kozubnik, Poland, April 19-25, 1979/ edited by J. Ýawrynowicz. by
  • Conference on Analytic Functions (7th: 1979: Kozubnik, Poland)
  • Lawrynowicz, Julian, 1939-
  • Instytut Matematyczny (Polska Akademia Nauk)
  • Uniwersytet Ýódzki. Instytut Matematyki
  • Uniwersytet Slaski w Katowicach Instytut Matematyki
Series: Lecture notes in mathematics (Springer-Verlag) ; 798.
Language: engfreger
Publication details: Berlin ; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

2517.
Differential und Integralrechnung II: Differentialrechnung in Mehreren Veraenderlichen Differentialgleichungen. by
  • Grauert, Hans, 1930-
  • Fischer, Wolfgang
Series: Heidelberger taschenbücher ; 36
Edition: [1st ed.]
Publication details: Berlin: Springer-Verlag, 1978
Availability: Items available for loan: Castorina (1)Call number: 515 G774d 1978 IMPA.

2518.
Ergodic theory/ I.P. Cornfeld, S.V. Fomin, Ya.G. Sinai. by
  • Cornfeld, I. P. (Isaak Pavlovich)
  • Fomin, S. V. (Sergei Vasilevich)
  • Sinai, Yakov Grigorevich, 1935-
Series: Grundlehren der mathematischen Wissenschaften ; 245.
Language: engrus
Publication details: New York: Springer-Verlag, c1982
Availability: Items available for loan: Castorina (1)Call number: 515.48 C816e 1982 IMPA.

2519.
Complex analysis, microlocal calculus, and relativistic quantum theory: proceedings of the colloquium held at Les Houches, Centre de Physique, September 1979/ edited by D. Iagolnitzer. by
  • International Colloquium on Complex Analysis, Microlocal Calculus, and Relativistic Quantum Theory (1979 : Les Houches, Haute-Savoie, France)
  • Iagolnitzer, Daniel
Series: Lecture notes in physics ; 126.
Publication details: Berlin ; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

2520.
Regenerative simulation of response times in networks of queues/ D. L. Iglehart, G. S. Shedler. by
  • Iglehart, Donald L, 1933-
  • Shedler, G. S. (Gerald S.), 1933- [joint author.]
Series: Lecture notes in control and information sciences ; 26.
Publication details: Berlin ; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

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


Powered by Koha