Results of search for 'ccl=se,phr:"Studies in logic and the foundations of mathematics"'

Results
	61.	No cover image available No cover image available No cover image available Truth and consequence in mediaeval logic. by Moody, Ernest A. (Ernest Addison), 1903- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1953 Availability: Items available for loan: Castorina (1)Call number: 511.3 M817t 1953 IMPA. Found in Open Library: Place hold Add to cart (remove)
	62.	Elementary induction on abstract structures/ Yiannis N. Moschovakis. by Moschovakis, Yiannis N Series: Studies in logic and the foundations of mathematics ; v. 77. Publication details: Amsterdam; New York: North-Holland; American Elsevier, 1974 Availability: Items available for loan: Castorina (2)Call number: 511.3 M896e 1974 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	63.	Descriptive set theory/ Yiannis N. Moschovakis. by Moschovakis, Yiannis N Series: Studies in logic and the foundations of mathematics ; v. 100 Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, c1980 Availability: Items available for loan: Castorina (1)Call number: 511.322 M896d 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	64.	No cover image available No cover image available No cover image available Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel. by Mostowski, Andrzej Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1952 Availability: Items available for loan: Castorina (1)Call number: 511.3 M916s 1952 IMPA. Found in Open Library: Place hold Add to cart (remove)
	65.	Classical recursion theory: the theory of functions and sets of natural numbers/ Piergiorgio Odifreddi. by Odifreddi, Piergiorgio, 1950- Series: Studies in logic and the foundations of mathematics ; v. 125. Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 O24c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	66.	An algebraic approach to non-classical logics. by Rasiowa, Helena Series: Studies in logic and the foundations of mathematics ; v. 78. Publication details: Amsterdam; New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 R224a 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	67.	No cover image available No cover image available No cover image available Nomological statements and admissible operations. by Reichenbach, Hans, 1891-1953 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1954 Availability: Items available for loan: Castorina (1)Call number: 511.3 R351n 1954 IMPA. Found in Open Library: Place hold Add to cart (remove)
	68.	No cover image available No cover image available No cover image available Non-standard analysis. by Robinson, Abraham, 1918-1974 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1966 Availability: Items available for loan: Castorina (1)Call number: 511.3 R658n 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	69.	No cover image available No cover image available No cover image available On the metamathematics of algebra. by Robinson, Abraham, 1918-1974 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam; North-Holland, 1951 Dissertation note: Thesis--University of London. Availability: Items available for loan: Castorina (2)Call number: 511.3 R658o 1951 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	70.	No cover image available No cover image available No cover image available Complete theories. by Robinson, Abraham, 1918-1974 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 R658c 1956 IMPA. Found in Open Library: Place hold Add to cart (remove)
	71.	No cover image available No cover image available No cover image available Introduction to model theory and to the metamathematics of algebra/ Abraham Robinson. by Robinson, Abraham, 1918-1974 Robinson, Abraham, 1918-1974 Series: Studies in logic and the foundations of mathematics Edition: 2nd ed. Publication details: Amsterdam: North-Holland, 1965 Other title: Model theory Metamathematics of algebra Availability: Items available for loan: Castorina (1)Call number: 511.3 R658i 1965 IMPA. Place hold Add to cart (remove)
	72.	No cover image available No cover image available No cover image available Many-valued logics/ [by] J. Barkley Rosser [and] Atwell R. Turquette. by Rosser, J. Barkley (John Barkley), 1907- Turquette, Atwell R. (Atwell Rufus), 1914- [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1952 Availability: Items available for loan: Castorina (1)Call number: 511.3 R828m 1952 IMPA. Found in Open Library: Place hold Add to cart (remove)
	73.	No cover image available No cover image available No cover image available Equivalents of the axiom of choice/ [by] Herman Rubin and Jean E. Rubin. by Rubin, Herman Rubin, Jean E [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1963 Availability: Items available for loan: Castorina (1)Call number: 511.3 R896e 1963 IMPA. Found in Open Library: Place hold Add to cart (remove)
	74.	Equivalents of the axiom of choice, II/ Herman Rubin and Jean E. Rubin. by Rubin, Herman Rubin, Jean E Series: Studies in logic and the foundations of mathematics ; v. 116. 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: 511.322 R896e 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	75.	Classification theory and the number of non-isomorphic models/ S. Shelah. by Shelah, Saharon Series: Studies in logic and the foundations of mathematics ; v. 92. 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 S544c 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	76.	Southeast Asian Conference on Logic/ proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks. by Southeast Asian Conference on Logic (1981 : Singapore)) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928- Series: Studies in logic and the foundations of mathematics ; v. 111. Publication details: Amsterdam ;: Oxford: North-Holland, 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 S727 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	77.	Foundations of infinitesimal stochastic analysis/ K. D. Stroyan and José Manuel Bayod. by Stroyan, K. D Bayod, José Manuel Series: Studies in logic and the foundations of mathematics ; v. 119. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 S925f 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	78.	No cover image available No cover image available No cover image available 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. Place hold Add to cart (remove)
	79.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	80.	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. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 89 results.