Periódicos correntes

Your search returned 8 results.

Results
	1.	No cover image available No cover image available The Bulletin of symbolic logic. by Association for Symbolic Logic Publication details: Champaign, IL: Association for Symbolic Logic, c1995- Online access: Also available online: Availability: Items available for loan: Castorina (6). Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available The Journal of symbolic logic. by Church, Alonzo, 1903- [ed.] Langford, Cooper Harold, 1895- [ed.] Association for Symbolic Logic Publication details: Pasadena: Association for Symbolic Logic, Availability: Items available for loan: Castorina (71). Found in Open Library: Place hold Add to cart (remove)
	3.	Recursion theory/ edited by Anil Nerode, Richard A. Shore. by Nerode, Anil, 1932- Shore, Richard A, 1946- American Mathematical Society Association for Symbolic Logic AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University) Series: Proceedings of symposia in pure mathematics ; v. 42. Publication details: Providence, R.I.: American Mathematical Society, 1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 R311 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/ edited by S. Barry Cooper, John K. Truss. by Cooper, S. B. (S. Barry) Truss, J. K Association for Symbolic Logic Series: London Mathematical Society lecture note series ; 258 Publication details: Cambridge, UK; New York: Cambridge University Press, 1999 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.322 S495 1999 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Model theoretic methods in finite combinatorics: AMS-ASL joint special session, January 5-8, 2009, Washington, DC/ Martin Grohe, Johann A. Makowsky, editors. by AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics (2009: Washington, D.C.) Grohe, M. (Martin) Makowsky, Johann A, 1948- American Mathematical Society Association for Symbolic Logic Series: Contemporary mathematics (American Mathematical Society) ; v. 558. Publication details: Providence, R.I.: American Mathematical Society, c2011 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	6.	Methods and applications of mathematical logic: proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985/ Walter A. Carnielli and Luiz Paulo de Alcantara, editors. by Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) Carnielli, Walter A. (Walter Alexandre) Alcantara, Luiz Paulo de, 1944- Sociedade Brasileira de Lógica Sociedade Brasileira de Matemática Association for Symbolic Logic Series: Contemporary mathematics (American Mathematical Society) ; v. 69. Publication details: Providence, R.I.: American Mathematical Society, c1988 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	7.	Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/ edited by S. Barry Cooper, John K. Truss. by Logic Colloquium (1997: Leeds, England) Cooper, S. B. (S. Barry) Truss, J. K Association for Symbolic Logic Series: London Mathematical Society lecture note series ; 259 Publication details: Cambridge, UK; New York: Cambridge University Press, 1999 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.3 M689 1999 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available Formal systems and recursive functions; proceedings/ Edited by J.N. Crossley and M.A.E. Dummett. by Logic Colloquium ((8th : : 1963 : : Oxford, Oxfordshire)) Crossley, John N [ed.] Dummett, Michael A. E [ed.] Association for Symbolic Logic North Atlantic Treaty Organization International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Symposium on Recursive Functions ((1963 : : Oxford, Oxfordshire)) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 F723 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha