Results of search for 'su:"Mathematical logic"'

Results
	1.	No cover image available No cover image available No cover image available Decidability and generalized quantifiers/ von Andreas Baudisch ... [et al.]. by Baudisch, Andreas Series: Mathematical research ; Bd. 3. Publication details: Berlin: Akademie-Verlag, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 D294 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Advances in linear logic/ edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. by Girard, Jean-Yves Lafont, Yves Regnier, Laurent Linear Logic Workshop (1993: Mathematical Science Institute, Cornell University) Series: London Mathematical Society lecture note series ; 222 Publication details: Cambridge, UK; New York: Cambridge University Press, 1995 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.3 A244 1995 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	Applications of categories in computer science/ edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. by Fourman, M. P, 1950- Johnstone, P. T Pitts, A. M. (Andrew M.) Series: Londom mathematical society lecture note series ; 177 Publication details: Cambridge University Press, 1992 Availability: Items available for loan: Castorina (1)Call number: 511.30285 A652 1992 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Computability, enumerability, unsolvability: directions in recursion theory/ edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. by Cooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen), 1954- Wainer, S. S Series: London Mathematical Society lecture note series ; 224 Publication details: Cambridge, UK; New York: Cambridge University Press, 1996 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.3 C738 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Decision problems for equational theories of relation algebras/ Hajnal Andréka, Steven Givant, István Németi. by Andréka, H Givant, Steven R Németi, I Series: Memoirs of the American Mathematical Society ; no.604. Publication details: Providence, R.I.: American Mathematical Society, c1997 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	6.	Admissible sets and structures: an approach to definability theory/ Jon Barwise. by Barwise, Jon Series: Perspectives in mathematical logic Publication details: Berlin; New York: Springer-Verlag, 1975 Availability: Items available for loan: Castorina (2)Call number: 511.3 B296a 1975 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	7.	No cover image available No cover image available No cover image available Handbook of categorical algebra/ Francis Borceux. by Borceux, Francis, 1948- Series: Encyclopedia of mathematics and its applications ; v. 50-52. Publication details: Cambridge, UK: New York: Cambridge University Press, 1994 Availability: Items available for loan: Castorina (1)Call number: 512.55 B726h 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Decidability and Boolean representations/ Stanley Burris and Ralph McKenzie. by Burris, Stanley McKenzie, Ralph N Series: Memoirs of the American Mathematical Society ; no. 246. Publication details: Providence, R.I.: American Mathematical Society, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available No cover image available Computability & unsolvability/ Martin Davis. by Davis, Martin, 1928- Series: McGraw-Hill series in information processing and computers Publication details: New York: McGraw-Hill, 1958 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	No cover image available No cover image available No cover image available The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions/ Martin Davis. by Davis, Martin, 1928- [ed.] Publication details: Hewlett, N.Y.: Raven Press, [1965] Availability: Items available for loan: Castorina (1)Call number: 511.3 D263u 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	Computability & unsolvability/ Martin Davis. by Davis, Martin, 1928- Edition: Dover ed. Publication details: New York: Dover, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	Minimal weak truth table degrees and computably enumerable Turing degrees/ Rodney G. Downey, Keng Meng Ng, Reed Solomon. by Downey, R. G. (Rod G.) [author.] Ng, Keng Meng [author.] Solomon, Reed [author.] Series: Memoirs of the American Mathematical Society ; no. 1284. Publisher: Providence, RI: American Mathematical Society, 2020 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	13.	A hierarchy of Turing degrees: a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability/ Rod Downey, Noam Greenberg. by Downey, R. G. (Rod G.) Greenberg, Noam, 1974- Series: Annals of mathematics studies ; no. 206. Publisher: Princeton, New Jersey: Princeton University Press, 2020 Availability: Items available for loan: Castorina (1)Call number: 511.3 D748h 2020 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	Degrees of unsolvability: structure and theory/ Richard L. Epstein. by Epstein, Richard L, 1947- Series: Lecture notes in mathematics (Springer-Verlag) ; 759. Publication details: Berlin ; New York: Springer-Verlag, 1979 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	15.	Minimal degrees of unsolvability and the full approximation construction/ Richard L. Epstein. by Epstein, Richard L, 1947- Series: Memoirs of the American Mathematical Society ; no. 162. Publication details: Providence, R.I.: American Mathematical Society, 1975 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	16.	Ultrafilters throughout mathematics / Isaac Goldbring. by Goldbring, Isaac [author.] Series: Graduate studies in mathematics ; v. 220. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2022] Availability: Items available for loan: Castorina (1)Call number: 511.3 G618u 2022 IMPA. Lists: Novos títulos. Found in Open Library: Place hold Add to cart (remove)
	17.	Degree spectra of relations on a cone/ Matthew Harrison-Trainor. by Harrison-Trainor, Matthew, 1990 Series: Memoirs of the American Mathematical Society ; no. 1208. Publisher: Providence, RI: American Mathematical Society, [2018] Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	18.	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. by Hirschfeldt, Denis Roman [author.] Lange, Karen, 1980- [author.] Shore, Richard A, 1946- [author.] Series: Memoirs of the American Mathematical Society ; no. 1187. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2017] Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	19.	Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976/ edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. by Latin-American Symposium on Mathematical Logic (3rd :: 1976 :: State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da Chuaqui, R Series: Studies in logic and the foundations of mathematics ; v. 89. Publication details: Amsterdam; New York; New York: North-Holland; North-Holland/Elsevier, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.8 N812 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	Degrees of unsolvability: local and global theory/ Manuel Lerman. by Lerman, M. (Manuel), 1943- Series: Perspectives in mathematical logic Publication details: Berlin ; New York: Springer-Verlag, 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 L616d 1983 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 22 results.