Results of search for 'ccl=su:"Logic, Symbolic and mathematical"'

Results
	41.	No cover image available No cover image available No cover image available The logic of decision and action/ edited by Nicholas Rescher ; essays by Alan Ross Anderson ... [et al.] ; with comments by R. Ackermann ... [et al.] by Rescher, Nicholas Anderson, Alan Ross University of Pittsburgh University of Pittsburgh. Dept. of Philosophy Publication details: [Pittsburgh, Pa.]: University of Pittsburgh Press, [1966] Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1966 IMPA. Place hold Add to cart (remove)
	42.	No cover image available No cover image available No cover image available Logic and foundations of mathematics/ dedicated to A. Heyting on his 70th birthday. by Heyting, A. (Arend), 1898- Publication details: Groningen: Wolters-Noordhoff, 1968 Availability: Items available for loan: Castorina (1)Call number: 510.92 L832 1968 IMPA. Place hold Add to cart (remove)
	43.	No cover image available No cover image available No cover image available Foundations of mathematics: Symposium papers commemorating the sixtieth birthday of Kurt Gödel/ edited by Jack J. Bulloff, Thomas C. Holyoke and S. W. Hahn. by Godel, Kurt, 1906-1978 Bulloff, Jack J [ed.] Holyoke, Thomas C [ed.] Hahn, S. W. (Samuel Wilfred), 1921- [ed.] Ohio Academy of Science. Section L (Mathematical Sciences) Publication details: Berlin: Heidelberg: New York: Springer, 1969 Availability: Items available for loan: Castorina (1)Call number: 510.92 F771 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	44.	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)
	45.	No cover image available No cover image available No cover image available Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications: Tihany, 11-15 Septembre 1962/ éditeur, László Kalmár. by Kalmár, Lázló Magyar Tudományos Akadémia. Matematikai és Fizikai Tudományok Osztálya Bolyai János Matematikai Társulat Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications (1962: Tihany, Hungary) Series: Collection de logique mathématique : sér. A ; 19. Language: freenggerrus Publication details: Paris: Louvain: Gauthier-Villars, E. Nauwelaerts, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 C714 1965 IMPA. Place hold Add to cart (remove)
	46.	Toposes, algebraic geometry and logic/ I. Bucur ... [and others]; edited by F. W. Lawvere. by Bucur, Ion, 1930-1976 Lawvere, F. W [ed.] Dalhousie University Series: Lecture notes in mathematics (Springer-Verlag) ; 274. Publication details: Berlin: New York: Springer-Verlag, 1972 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	47.	No cover image available No cover image available No cover image available Proceedings of the third Brazilian Conference on Mathematical Logic/ edited by Ayda I. Arruda, Newton C.A. da Costa, Antonio Mario Sette. by Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da Sette, A. M 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 (3rd: 1979: Universidade Federal de Pernambuco) Publication details: [S.l.]: Sociedade Brasileira de Lógica, c1980 Availability: Items available for loan: Castorina (2)Call number: 511.3 P963 1980 IMPA, ... Place hold Add to cart (remove)
	48.	Mathematical logic in Latin America: proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978/ edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. by Arruda, A. I. (Ayda Ignez) Chuaqui, R Costa, Newton C. A. da Latin-American Symposium on Mathematical Logic (4th: 1978: Santiago de Chile) Series: Studies in logic and the foundations of mathematics ; v. 99 Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	49.	No cover image available No cover image available No cover image available E.W. Beth memorial colloquium: logic and foundations of science, Paris, Institut Henri Poincaré, 19-21 May 1964/ edited by Jean Louis Destouches. by Destouches, Jean-Louis [ed.] Publication details: Dordrecht: Reidel, 1967 Availability: Items available for loan: Castorina (1)Call number: 510.92 B562 1967 IMPA. Place hold Add to cart (remove)
	50.	No cover image available No cover image available No cover image available Séminaire général de logique, 1982-83/ [edité par] Françoise Delon ... [et al.]. by Delon, F. (Françoise) Université de Paris VII. Séminaire général de logique Series: Publications mathématiques de l'Université Paris VII ; 19 Publication details: [Paris]: U.E.R. de Mathemátiques, [1983?] Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 [1983?] IMPA. Place hold Add to cart (remove)
	51.	Essays on Frege/ edited by E. D. Klemke. Series: Illini books IB-54 Publication details: Urbana: University of Illinois Press, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 E78 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	52.	No cover image available No cover image available No cover image available Polish logic, 1920-1939/ papers by Ajdukiewicz [and others]; with an introd. by Tadeusz Kotarbinski, edited by Storrs McCall, translated by B. Gruchman [and others] by Ajdukiewicz, Kazimierz Gruchman, Bohdan [tr.] Publication details: Oxford: Clarendon Press, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 P768 1967 IMPA. Place hold Add to cart (remove)
	53.	Combinatorics, computability, and logic: proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01)/ C.S. Calude, M.J. Dinneen, and S. Sburlan (eds.). by Calude, Cristian, 1952- Dinneen, M. J, 1957- Sburlan, Silviu DMTCS '01( (2001: Constanta, Romania) Series: Discrete mathematics and theoretical computer science Publication details: London: New York: Springer, c2001 Availability: Items available for loan: Castorina (1)Call number: 511.6 C731 2001 IMPA. Found in Open Library: Place hold Add to cart (remove)
	54.	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)
	55.	Linear logic in computer science/ edited by Thomas Ehrhard ... [et al.]. by Ehrhard, Thomas, 1958- Series: London Mathematical Society lecture note series ; 316 Publication details: Cambridge, UK; New York: Cambridge University Press, 2004 Availability: Items available for loan: Castorina (1)Call number: 511.3 L754 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	56.	Analysis and logic/ edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson ... [et al.]. by Finet, Catherine Michaux, Christian Henson, C. W Series: London Mathematical Society lecture note series ; 262 Publication details: Cambridge, UK; New York: Cambridge University Press, 2002 Online access: Table of contents Publisher description Availability: Items available for loan: Castorina (1)Call number: 511.3 A532 2002 IMPA. Found in Open Library: Place hold Add to cart (remove)
	57.	Voronoi Diagrams in Science and Engineering 2006: proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada/ organized by SPARCS Laboratory, University of Calgary, Canada ; in cooperation with iCORE Informatics Circle of Research Excellence, Alberta, Canada ... [et al.] ; general chair of ISVD 2006 and proceeingns editor, Prof. Marina L. Gavrilova. by Gavrilova, M. L. (Marina L.) SPARCS Laboratory iCORE Informatics Circle of Research Excellence IEEE Computer Society Publication details: Los Alamitos, CA: IEEE, c2006 Other title: Voronoi diagrams in science and engineering Availability: Items available for loan: Castorina (2)Call number: 004 V954 2006 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	58.	No cover image available No cover image available No cover image available Logic, algebra, and computer science: Helena Rasiowa in memoriam/ editors of the volume, Damian Niwinski, Marek Zawadowski. by Rasiowa, Helena Niwinski, Damian Zawadowski, Marek Series: Banach Center publications ; v. 46 Publication details: Warszawa: Institute of Mathematics, Polish Academy of Sciences, 1999 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	59.	Visualization, explanation and reasoning styles in mathematics/ edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen. by Mancosu, Paolo Jorgensen, Klaus Frovin Pedersen, Stig Andur, 1943- Series: Synthese library ; 327. Publication details: Dordrecht; Norwell, MA: Springer, c2010 Availability: Items available for loan: Castorina (1)Call number: 510.1 V834 2010 IMPA. Found in Open Library: Place hold Add to cart (remove)
	60.	Kurt Gödel: essays for his centennial/ edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. by Godel, Kurt, 1906-1978 Feferman, Solomon, 1928- Parsons, Charles, 1933- Simpson, Stephen G. (Stephen George), 1945- Series: Lecture notes in logic ; 33. Publication details: Ithaca, NY; New York: Association for Symbolic Logic; Cambridge University Press, 2010 Availability: Items available for loan: Castorina (1)Call number: 511.322 K96 2010 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 326 results.