Your search returned 177 results.

Sort
Results
161.
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.

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

163.
A formalization of set theory without variables/ by Alfred Tarski and Steven Givant. by
  • Tarski, Alfred, 1901-1983
  • Givant, Steven R
Series: Colloquium publications (American Mathematical Society) ; v. 41.
Publication details: Providence, R.I.: American Mathematical Society, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.322 T193f 1987 IMPA.

164.
Cardinal algebras; With an appendix: Cardinal products of isomorphism types/ by Bjarni Jónsson and Alfred Tarski. by
  • Tarski, Alfred, 1901-1983
  • Jónsson, Bjarni, 1920-
Publication details: New York: Oxford University Press, 1949
Availability: Items available for loan: Castorina (1)Call number: 511.3 T193c 1949 IMPA.

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

166.
Partition problems in topology/ Stevo Todorcevic. by
  • Todorcevic, Stevo
Series: Contemporary mathematics (American Mathematical Society) ; v. 84.
Publication details: Providence, R.I.: American Mathematical Society, c1989
Availability: Items available for loan: Castorina (1).

167.
Lectures in logic and set theory/ George Tourlakis. by
  • Tourlakis, George J
Series: Cambridge studies in advanced mathematics ; 82-83.
Edition: 1st pbk. ed.
Publication details: Cambridge, UK; New York: Cambridge University Press, 2010, 2003
Availability: Items available for loan: Castorina (2)Call number: 511.3 T727l 2010 IMPA, ...

168.
La notion de capacité/ par Florin Vasilesco. by
  • Vasilesco, Florin
Series: Exposés sur la théorie des fonctions | Actualités scientifiques et industrielles ; 571.
Publication details: Paris: Hermann, 1937
Availability: Items available for loan: Castorina (1)Call number: 508 V334n 1937 IMPA.

169.
Set theory: an introduction/ Robert L. Vaught. by
  • Vaught, Robert L
Publication details: Boston: Birkhäuser, c1985
Availability: Items available for loan: Castorina (1)Call number: 511.322 V371s 1985 IMPA.

170.
In search of infinity/ N. Ya. Vilenkin ; translated by Abe Shenitzer, with the editorial assistance of Hardy Grant and Stefan Mykytiuk. by
  • Vilenkin, N.Ja. (Naum Jakovlevich)
Language: English Original language: Russian
Publication details: Boston: Birkhäuser, c1995
Availability: Items available for loan: Castorina (1)Call number: 511.3 V699s 1995 IMPA.

171.
Teoria delle funzioni analitiche/ di Giulio Vivanti. by
  • Vivanti, G. (Giulio), 1859-
Series: Serie Scientifica (Libreria antiquaria Hoepli) ; 312-313.
Publication details: Milano: U. Hoepli, 1901
Availability: Items available for loan: Castorina (1).

172.
Charakterisierung des spektrums eines integraloperators/ von J. von Neumann. by
  • Von Neumann, John, 1903-1957
Series: Actualités scientifiques et industrielles ; 229. | Exposés mathématiques
Publication details: Paris: Hermann, 1935
Availability: Items available for loan: Castorina (1)Call number: 511.322 V945c 1935 IMPA.

173.
The theory of semisets/ Petr Vopènka and Petr Hájek. by
  • Vopenka, Petr
  • Hájek, Petr [joint author.]
Series: Studies in logic and the foundations of mathematics ; v. 70.
Publication details: Amsterdam: North-Holland, 1972
Availability: Items available for loan: Castorina (1)Call number: 511.3 V952t 1972 IMPA.

174.
Les systèmes axiomatiques de la théorie des ensembles/ par Hao Wang et McNaughton, Robert. by
  • Wang, Hao, 1921-
  • McNaughton, Robert [joint author.]
Series: Collection de logique mathématique : sér. A ; 4.
Publication details: Paris: Gauthier-Villars, 1953
Availability: Items available for loan: Castorina (1)Call number: 511.322 W246s 1953 IMPA.

175.
The compactness operator in set theory and topology/ E. Wattel. by
  • Wattel, Evert
Series: Mathematical Centre tracts ; 21
Publication details: Amsterdam: Mathematisch Centrum, 1979
Availability: Items available for loan: Castorina (1)Call number: 514.322 W347c 1979 IMPA.

176.
Rotation sets and complex dynamics/ Saeed Zakeri. by
  • Zakeri, Saeed [author.]
Series: Lecture notes in mathematics (Springer-Verlag) ; 2214.
Publisher: Cham, Switzerland: Springer, [2018]
Online access:
Availability: Items available for loan: Castorina (1).

177.
Sets and transfinite numbers/ [by] Martin M. Zuckerman. by
  • Zuckerman, Martin M
Publication details: New York: Macmillan, [1974]
Availability: Items available for loan: Castorina (1)Call number: 511.322 Z94s 1974 IMPA.

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


Powered by Koha