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

Results
	201.	No cover image available No cover image available No cover image available Language, logic, and mathematics/ [by] C. W. Kilmister. by Kilmister, C. W. (Clive William) Publication details: New York: Barnes & Noble, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	202.	No cover image available No cover image available No cover image available Mathematical logic/ Stephen Cole Kleene. by Kleene, Stephen Cole, 1909-1994 Publication details: New York: Wiley, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 K63m 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	203.	No cover image available No cover image available No cover image available Mathematical logic and the foundation of mathematics; an introductory survey/ G. T. Kneebone. by Kneebone, G. T Publication details: London: New York: Van Nostrand, [1963] Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	204.	Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource]/ by Ulrich Kohlenbach. by Kohlenbach, Ulrich SpringerLink (Online service) Series: Springer Monographs in Mathematics Source: Springer eBooks ; Format: electronic available online Publication details: Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Online access: Click here to access online Availability: No items available. Found in Open Library: Add to cart (remove)
	205.	No cover image available No cover image available No cover image available Elements of mathematical logic: Model theory/ G. Kreisel and J. L. Krivine. by Kreisel, Georg Krivine, J. L. (Jean Louis) [joint author.] Series: Studies in logic and the foundations of mathematics Language: engund Publication details: Amsterdam: North-Holland, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 K92e 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	206.	No cover image available No cover image available No cover image available Ontology and the logistic analysis of language: an enquiry into the contemporary views on universals/ Guido Kung ; translated by E. C. M. Mays, and revised by the author. by Kung, Guido Series: Synthese library Edition: Rev. ed. Language: English Original language: German Publication details: Dordrecht ; D. Reidel, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 K96o 1967 IMPA. Place hold Add to cart (remove)
	207.	Proofs and refutations: the logic of mathematical discovery/ by Imre Lakatos ; edited by John Worrall and Elie Zahar. by Lakatos, Imre Publication details: Cambridge, UK New York: Cambridge University Press, 1976 Availability: Items available for loan: Castorina (1)Call number: 511.3 L192p 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	208.	Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983/ edited by C. A. Di Prisco. by Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezuela) Di Prisco, C. A Asociación Venezolana para el Avance de la Ciencia Series: Lecture notes in mathematics (Springer-Verlag) ; 1130. Publication details: Berlin ; New York: Springer-Verlag, c1985 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	209.	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)
	210.	No cover image available No cover image available No cover image available Introduction à la logique algébrique/ Léon Le Blanc. by Le Blanc, Léon, 1932- Publication details: Montréal: Presses de l'Université de Montréal, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 L433i 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	211.	No cover image available No cover image available No cover image available Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques/ Léon Le Blanc. by Le Blanc, Léon, 1932- Series: Séminaire de mathématiques supérieures ; 24. Publication details: Montréal: Presses de l'Université de Montréal, 1966 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	212.	Mathematical logic and Hilbert's & symbol/ A. C. Leisenring. by Leisenring, A. C Series: University mathematical series Publication details: London: Macdonald Technical & Scientific, 1969 Availability: Items available for loan: Castorina (1)Call number: 511.3 L532m 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	213.	No cover image available No cover image available No cover image available Symbolic logic/ by Clarence Irving Lewis and Cooper Harold Langford. by Lewis, Clarence Irving, 1883-1964 Langford, Cooper Harold, 1895- Publication details: [New York]: Dover, [1951] Availability: Items available for loan: Castorina (1)Call number: 511.3 L673s 1951 IMPA. Found in Open Library: Place hold Add to cart (remove)
	214.	No cover image available No cover image available No cover image available Contributions to mathematical logic: Proceedings of the Logic Colloquium, Hannover 1966/ edited by H. Arnold Schmidt, K. Schütte [and] H.J. Thiele. by Logic Colloquium (11th :: 1966 :: Hannover, Germany) Schmidt, H. Arnold [ed.] Schütte, K. (Kurt) [ed.] Thiele, H. J. (Helmut J.) [ed.] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 C764 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	215.	Logic Colloquium 76: proceedings of a conference held in Oxford in July 1976/ edited by R. O. Gandy, J. M. E. Hyland. by Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott Series: Studies in logic and the foundations of mathematics ; v. 87. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	216.	Logic Colloquium '77: proceedings of the colloquium held in Wroclaw, August 1977/ edited by Angus Macintyre, Leszek Pacholski, Jeff Paris. by Logic Colloquium (1977 : Wroclaw, Poland) Macintyre, A., (Angus), 1941- Pacholski, Leszek Paris, Jeff Series: Studies in logic and the foundations of mathematics ; v. 96. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	217.	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)
	218.	No cover image available 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)
	219.	Mathematical logic and applications: proceedings of the Logic Meeting held in Kyoto, 1987/ J. Shinoda, T. A. Slaman, T. Tugué, eds. by Logic Meeting (1987: Kyoto, Japan) Shinoda, J. (Juichi), 1948- Slaman, T. A. (Theodore Allen), 1954- Tugué, T. (Tosiyuki), 1926- Series: Lecture notes in mathematics (Springer-Verlag) ; 1388. Publication details: Berlin; New York: Springer-Verlag, c1989 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	220.	Logic Symposia, Hakone, 1979, 1980: proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980/ edited by G. H. Müller, G. Takeuti, and T. Tugué. by Logic Symposia (1979 : Hakone-machi, Japan) Müller, G. H. (Gert Heinz), 1923- Takeuti, Gaisi, 1926- Tugué, T. (Tosiyuki), 1926- Logic Symposia (1979 : Hakone-machi, Japan) Series: Lecture notes in mathematics (Springer-Verlag) ; 891. Publication details: Berlin ; New York: Springer-Verlag, 1981 Availability: Items available for loan: Castorina (1). 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.