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

Results
	21.	Handbook of logic and language/ edited by Johan van Benthem, Alice ter Meulen. by Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter Publication details: Amsterdam; New York; Cambridge, Mass.: Elsevier; MIT Press, 1997 Other title: Handbook of logic & language Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	22.	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)
	23.	Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988/ S. Homer ... [et al.] ; editor, P. Odifreddi. by Homer, S. (Steven) Odifreddi, Piergiorgio, 1950- Centro Internazionale Matematico Estivo Series: Lecture notes in mathematics (Springer-Verlag) ; 1429. Publication details: Berlin; New York: Springer-Verlag, c1990 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	24.	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)
	25.	No cover image available No cover image available No cover image available Algebra and logic. by Consultants Bureau Language: engrus Publication details: New York: Consultants Bureau, Availability: Items available for loan: Castorina (171)Call number: 1, ... Found in Open Library: Place hold Add to cart (remove)
	26.	No cover image available No cover image available No cover image available Archiv für mathematische Logik und Grundlagenforschung. Language: gereng Publication details: Stuttgart: W. Kohlhammer, 1950-1987 Availability: Items available for loan: Castorina (15). Found in Open Library: Place hold Add to cart (remove)
	27.	No cover image available 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)
	28.	No cover image available No cover image available No cover image available Mathematical logic quarterly: MLQ. Language: engfreger Summary language: English Publication details: Leipzig: J.A. Barth, c1993- Other title: MLQ Availability: Items available for loan: Castorina (6). Found in Open Library: Place hold Add to cart (remove)
	29.	No cover image available 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)
	30.	No cover image available No cover image available No cover image available Annals of pure and applied logic. Publication details: Amsterdam: North-Holland, c1983- Availability: Items available for loan: Castorina (59). Found in Open Library: Place hold Add to cart (remove)
	31.	No cover image available No cover image available No cover image available Annals of mathematical logic. Publication details: Amsterdam: North-Holland, Availability: Items available for loan: Castorina (19). Found in Open Library: Place hold Add to cart (remove)
	32.	No cover image available No cover image available No cover image available Archive for mathematical logic. Language: engger Publication details: Berlin: Springer International Publishing, c1988- Online access: Click here to access online Click here to access online Availability: Items available for loan: Castorina (13). Found in Open Library: Place hold Add to cart (remove)
	33.	No cover image available No cover image available No cover image available Notre Dame journal of formal logic. by University of Notre Dame Publication details: Notre Dame, Ind.: University of Notre Dame Press, Availability: Items available for loan: Castorina (34). Found in Open Library: Place hold Add to cart (remove)
	34.	No cover image available No cover image available No cover image available Zeitschrift für mathematische Logik und Grundlagen der Mathematik. by Asser, Günter Schröter, Karl, 1905- Language: enggerfrerus Publication details: [Berlin]: Deutscher Verlag der Wissenschaften, 1955-c1992 Other title: ZML Availability: Items available for loan: Castorina (28). Found in Open Library: Place hold Add to cart (remove)
	35.	No cover image available No cover image available No cover image available What is mathematical logic? J. N. Crossley ... [and others]. by Crossley, John N Publication details: London: Oxford University Press, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 W555 1972 IMPA. Place hold Add to cart (remove)
	36.	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)
	37.	Logic of programs: workshop, ETH Zürich, May-July 1979/ edited by Erwin Engeler. by Engeler, Erwin Eidgenossische Technische Hochschule Zurich Series: Lecture notes in computer science ; 125. Publication details: Berlin ; New York: Springer, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	38.	No cover image available No cover image available No cover image available Mathematical interpretation of formal systems/ Th. Skolem ... [and others] by Skolem, Th. (Thoralf), 1887-1963 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	39.	Penser les mathématiques: séminaire de philosophie et mathématiques/ R. Apéry ... [et al.] ; textes préparés et annotés par François Guénard et Gilbert Lelièvre. by Apéry, R. (Roger) Guénard, François Lelievre, Gilbert Series: Points. Sciences; ; S29 Publication details: [Paris]: Seuil, c1982 Availability: Items available for loan: Castorina (1)Call number: 510.1 P418 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	40.	No cover image available No cover image available No cover image available Séminaire général de logique, 1983-1984/ F. Delon, D. Lascar, M. Parigot, [editeurs]. by Delon, F. (Françoise) Lascar, D. (Daniel), 1942- Parigot, M. (Michel) Université de Paris VII Series: Publications mathématiques de l'Université Paris VII ; 27. Publication details: [Paris]: U.E.R. de Mathemátiques, [1986?] Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1986 IMPA. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 326 results.