Results of search for 'ccl=pl:"[London]:" and su-to:Logic, Symbolic and mathematical'

Results
	1.	Logic, automata, and algorithms/ Mark A. Aiserman [and others] ; translated [from the Russian] by Scripta Technica, Inc ; translation editor George M. Kranc. by Tal', Aleksey A Smirnova, Irina M Rozonoer, Lev I Gusev, Leonid A Aizerman, M. A., (Mark Aronovich), 1913- Series: Mathematics in science and engineering ; vol.79. Language: English Original language: Russian Publication details: New York London: Academic Press, 1971 Availability: Items available for loan: Castorina (1)Call number: 512 L832 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	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)
	3.	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)
	4.	Philosophical aspects of symbolic reasoning in early modern mathematics/ edited by Albrecht Heeffer and Maarten Van Dyck. by Heeffer, Albrecht Van Dyck, Maarten Series: Studies in logic ; 26. Publication details: London: College Publications, 2010 Availability: Items available for loan: Castorina (1)Call number: 510.1 P568 2010 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available No cover image available Studies in logic and probability. by Boole, George, 1815-1864 Publication details: London: Watts, 1953 Availability: Items available for reference: Castorina: Not For Loan (1). Add to cart (remove)
	6.	No cover image available No cover image available No cover image available The logical syntax of language/ by Rudolf Carnap. by Carnap, Rudolf, 1891-1970 Smeaton, Amethe [tr.] Series: International library of psychology, philosophy, and scientific method Publication details: London: Routledge & K. Paul, [1967, 1937] Availability: Items available for loan: Castorina (1)Call number: 511.3 C288l 1937 IMPA. Place hold Add to cart (remove)
	7.	Mathematical logic/ Ian Chiswell and Wilfrid Hodges. by Chiswell, Ian, 1948- Hodges, Wilfrid Series: Oxford texts in logic ; 3 Publication details: London; New York: Oxford University Press, 2007 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 511.3 C542m 2007 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available No cover image available The calculi of lambda-conversion/ by Alonzo Church. by Church, Alonzo, 1903- Series: Annals of mathematics studies ; 6. Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1941 Availability: Items available for loan: Castorina (1)Call number: 511.3 C561c 1941 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	To H. B. Curry: essays on combinatory logic, lambda calculus, and formalism/ edited by J. P. Seldin, J. R. Hindley. by Curry, Haskell B. (Haskell Brooks), 1900- Hindley, J. Roger Seldin, J. P Publication details: London New York: Academic Press, 1980 Availability: Items available for loan: Castorina (1)Call number: 510.92 C976 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/ by Kurt Gödel. by Godel, Kurt, 1906-1978 Brown, George William, 1917- Series: Annals of mathematics studies ; no. 3. Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1940 Availability: Items available for loan: Castorina (2)Call number: 511.3 G581c 1940 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	11.	Hausdorff on ordered sets/ J.M. Plotkin, editor ; translated by J.M. Plotkin. by Hausdorff, Felix, 1868-1942 Plotkin, J. M. (Jacob M.), 1941- Series: History of mathematics ; v.25, Language: English Original language: German Publication details: Providence, R.I.: American Mathematical Society: London Mathematical Society, c2005 Availability: Items available for loan: Castorina (1)Call number: 510.9 H376h 2005 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available No cover image available First-order functional calculus/ by G. B. Keene. by Keene, G. B. (Geoffrey Bourton) Series: Monographs in modern logic Publication details: London: New York: Routledge & K. Paul, Dover, [1966, c1964] Availability: Items available for loan: Castorina (1)Call number: 511.3 K26f 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	13.	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)
	14.	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)
	15.	Logic's lost genius: the life of Gerhard Gentzen/ Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor. by Menzler-Trott, Eckart Series: History of mathematics ; v. 33 Edition: [English ed.]. Language: English Original language: German Publication details: Providence, RI: London: American Mathematical Society; London Mathematical Society, c2007 Availability: Items available for loan: Castorina (1)Call number: 510.92 M551l 2007 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	No cover image available No cover image available No cover image available Introductory formal logic of mathematics/ P. H. Nidditch. by Nidditch, P. H Publication details: London: University Tutorial Press, [1957] Availability: Items available for loan: Castorina (1)Call number: 511.3 N664i 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	No cover image available No cover image available No cover image available The two-valued iterative systems of mathematical logic/ by Emil L. Post. by Post, Emil Leon, 1897-1954 Series: Annals of mathematics studies ; no. 5 Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1941 Availability: Items available for loan: Castorina (1)Call number: 511.3 P857e 1941 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	Mathematical logic and model theory: a brief introduction/ Alexander Prestel, Charles N. Delzell. by Prestel, A. (Alexander), 1941- Delzell, Charles N, 1953- Series: Universitext Publication details: London; New York: Springer, 2011 Availability: Items available for loan: Castorina (1)Call number: 511.3 P936m 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)
	19.	No cover image available No cover image available No cover image available The foundations of mathematics and other logical essays/ Edited by R. B. Braithwaite, with a pref. by G. E. Moore. by Ramsey, Frank Plumpton, 1903-1930 Braithwaite, R. B. (Richard Bevan) [ed.] Series: International library of psychology, philosophy, and scientific method ; no. 214. Publication details: London: Routledge & K. Paul, [1954, c1931] Availability: Items available for loan: Castorina (1)Call number: 510.1 R183f 1954 IMPA. Place hold Add to cart (remove)
	20.	No cover image available No cover image available No cover image available Logic and knowledge: essays 1901-1950/ Bertrand Russell ; edited by Robert Charles Marsh. by Russell, Bertrand, 1872-1970 Publication details: London: New York: George Allen & Unwin, Macmillan, 1966 Availability: Items available for loan: Castorina (1)Call number: 510.1 R961l 1966 IMPA. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 22 results.