Results of search for 'an:23784' › IMPA Library catalog

Results
	1.	Mathematical logic and theoretical computer science/ edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. by Kueker, D. W, 1943- Lopez-Escobar, Edgar G. K, 1937- Smith, Carl, 1950- University of Maryland, College Park. Dept. of Mathematics Series: Lecture notes in pure and applied mathematics ; v. 106. Publication details: New York: M. Dekker, c1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available Applications of model theory to algebra, analysis, and probability/ edited by W. A. J. Luxemburg. by Luxemburg, W. A. J, 1929- California Institute of Technology International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability (1967 : California Institute of Technology) Publication details: New York: Holt, Rinehart and Winston, [1969] Availability: Items available for loan: Castorina (1)Call number: 511.3 A652 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	No cover image available No cover image available No cover image available Aspects of mathematical logic.: III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari. by Centro Internazionale Matematico Estivo Publication details: Roma: Cremonese, 1969 Availability: Items available for loan: Castorina (1)Call number: 511 A838 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	No cover image available No cover image available No cover image available Philosophical problems in Logic: Some recent developments/ Ed. by Karel Lambert. by Lambert, Karel, 1928- [ed.] University of California, Irvine Series: Synthese library Publication details: Dordrecht ; Reidel, [1970] Availability: Items available for loan: Castorina (1)Call number: 511.3 P568 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Mathematical logic: proceedings of the first Brazilian Conference/ edited by Ayda I. Arruda, Newton C. A. da Costa, Rolando Chuaqui. by Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da Chuaqui, R Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História de Ciência Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computação Brazilian Conference on Mathematical Logic (1st : 1977 : Universidade Estadual de Campinas) Series: Lecture notes in pure and applied mathematics ; v. 39. Publication details: New York: M. Dekker, c1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	Recursion theory: its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979/ edited by F. R. Drake and S. S. Wainer. by Drake, F. R. (Frank Robert) Wainer, S. S Logic Colloquium (1979 : Leeds, Yorkshire) Series: London Mathematical Society lecture note series ; 45. Publication details: Cambridge, UK New York: Cambridge University Press, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.352 R311 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Modern logic--a survey: historical, philosophical, and mathematical aspects of modern logic and its applications/ edited by Evandro Agazzi. by Agazzi, Evandro Series: Synthese library ; v. 149. Publication details: Dordrecht, Holland ; Boston: Hingham, MA: D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic, c1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 M689 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Mathematical logic and formal systems: a collection of papers in honor of Professor Newton C. A. da Costa/ edited by Luiz Paulo de Alcantara. by Costa, Newton C. A. da Alcantara, Luiz Paulo de, 1944- Series: Lecture notes in pure and applied mathematics ; v. 94. Language: engfre Publication details: New York: M. Dekker, c1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	Logic and random structures: DIMACS workshop, November 5-7, 1995/ Ravi B. Boppana, James F. Lynch, editors. by Boppana, Ravi B. (Ravi Bopu), 1963- Lynch, James F, 1947- DIMACS (Group) NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science Series: DIMACS series in discrete mathematics and theoretical computer science ; 33. Publication details: Providence, R.I.: American Mathematical Society, c1997 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	No cover image available No cover image available No cover image available Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré. by Paris (Université. Centre d'études de logique symbolique Series: Collection de logique mathématique : sér. A ; 5. Language: freengger Publication details: Paris: Gauthier-Villars, 1954 Availability: Items available for loan: Castorina (2)Call number: 511.3 A652 1954 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	11.	No cover image available No cover image available No cover image available Séminaire d'algèbre et logique: Rennes, 1978. Fasc. 2. Edition: [1st ed.] Publication details: Rennes: Univ. de Rennes, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1978 IMPA. Place hold Add to cart (remove)
	12.	No cover image available No cover image available No cover image available Séminaire de complexité algorithmique et de logique 1986-1987-1988/ P. Michel, J.P. Ressayre. by Ressayre, J.-P. (Jean-Pierre) Series: Publications mathématiques de l'Université Paris VII Publication details: Paris: U.E.R. de Mathemátiques, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1988 IMPA. Place hold Add to cart (remove)
	13.	No cover image available No cover image available No cover image available Model theory and applications. by Mangani, Piero Centro Internazionale Matematico Estivo Publication details: Roma: Cremonese, 1975 Availability: Items available for loan: Castorina (1)Call number: 511.3 M689 1975 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	Studies in algebraic logic/ Aubert Daigneault, editor. by Daigneault, Aubert, 1932- Series: Studies in mathematics (Mathematical Association of America) ; v. 9. Publication details: [Washington, DC]: Mathematical Association of America, [1974] Availability: Items available for loan: Castorina (1)Call number: 511.3 S933 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	15.	No cover image available No cover image available No cover image available Rassegna di matematica: logica matematica, matematica applicata, didattica della matematica/ a cura di Marco Borga, Paolo Freguglia, Dario Palladino. by Borga, Mario Freguglia, Paolo Palladino, Dario Language: Italian Summary language: English Publication details: Genova: Tilgher, c1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 R228 1980 IMPA. Place hold Add to cart (remove)
	16.	No cover image available No cover image available No cover image available Proceedings of the IX Latin American Symposium on Mathematical Logic (part 2) Series: Notas de lógica matemática ; 39. Edition: [1st ed.] Publication details: Bahía Blanca, Argentina: Univ. Nac. del Sur, 1994 Availability: Items available for loan: Castorina (1)Call number: 511.3 P963 1994 IMPA. Place hold Add to cart (remove)
	17.	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)
	18.	No cover image available No cover image available No cover image available Recursive function theory/ Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society. by Symposium in Pure Mathematics (5th: 1961: New York) Series: Proceedings of symposia in pure mathematics ; v. 5.Proceedings of symposia in pure mathematics ; v. 5. Publication details: Providence, R.I.: American Mathematical Society, 1962 Availability: Items available for loan: Castorina (1)Call number: 511.352 R311 1962 IMPA. Found in Open Library: Place hold Add to cart (remove)
	19.	No cover image available No cover image available No cover image available Simpósio latino americano de lógica matemática 1: Campinas, 1976. Edition: [1st ed.] Publication details: Campinas: IMECC-UNICAMP, 1976 Availability: Items available for loan: Castorina (1)Call number: 511.3 S612 1976 IMPA. Place hold Add to cart (remove)
	20.	Logic: from foundation to applications : European logic colloquium/ edited by Wilfrid Hodges ... [et al.]. by Hodges, Wilfrid Logic Colloquium (1993: University of Keele) Series: Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1996 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1996 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 24 results.