Results of search for 'ccl=an:23728' › IMPA Library catalog

Results
	121.	Multiple forcing/ T. Jech. by Jech, Thomas J Series: Cambridge tracts in mathematics ; 88. Publication details: Cambridge, UK New York: Cambridge University Press, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 J44m 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	122.	No cover image available No cover image available Formal logic: its scope and limits/ Richard C. Jeffrey. by Jeffrey, Richard C Publication details: New York: McGraw-Hill, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 J46f 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	123.	Notes on logic and set theory/ P. T. Johnstone. by Johnstone, P. T Series: Cambridge mathematical textbooks Publication details: Cambridge, UK: New York: Cambridge University Press, 1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 J73n 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	124.	No cover image available No cover image available Logic; techniques of formal reasoning/ Donald Kalish and Richard Montague. by Kalish, Donald Montague, Richard [joint author.] Publication details: New York: Harcourt, Brace & World, [1964] Availability: Items available for loan: Castorina (1)Call number: 511.3 K14l 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	125.	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)
	126.	No cover image available No cover image available An introduction to algebraic logic/ Stephen Anthony Kiss. by Kiss, Stephen Anthony, 1890- Publication details: Westport, Conn.: 1961 Availability: Items available for loan: Castorina (1)Call number: 511.3 K61i 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	127.	No cover image available No cover image available Konstruktive Analysis. by Klaua, Dieter Series: Mathematische Forschungsberichte ; 11. Publication details: Berlin: Deutscher Verlag der Wissenschaften, 1961 Availability: Items available for loan: Castorina (1)Call number: 511.3 K63k 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	128.	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)
	129.	No cover image available No cover image available Introduction to metamathematics/ by Stephen Cole Kleene. by Kleene, Stephen Cole, 1909-1994 Series: Bibliotheca mathematica ; v. 1. Publication details: Amsterdam ; North-Holland, 1971, c1952 Availability: Items available for loan: Castorina (1)Call number: 511.3 K63i 1971 IMPA. Place hold Add to cart (remove)
	130.	Combinatory reduction systems/ J. W. Klop. by Klop, J. W Series: Mathematical Centre tracts ; 127. Publication details: Amsterdam ; Mathematisch centrum, 1980 Dissertation note: Thesis (Ph. D.)--State University of Utrecht. Availability: Items available for loan: Castorina (1)Call number: 511.3 K66c 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	131.	Forcing with random variables and proof complexity/ Jan Krajicek. by Krajícek, Jan Series: London Mathematical Society lecture note series ; 382. Publication details: Cambridge, UK; New York: Cambridge University Press, 2011 Online access: Cover image Availability: Items available for loan: Castorina (1)Call number: 511.3 K89f 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)
	132.	Proof complexity/ Jan Krajícek, Charles University, Prague. by Krajícek, Jan [author.] Series: Encyclopedia of mathematics and its applications ; v. 170. Publisher: Cambridge, United Kingdom; New York, NY: Cambridge University Press, 2019 Availability: Items available for loan: Castorina (1)Call number: 511.3 K89p 2019 IMPA. Found in Open Library: Place hold Add to cart (remove)
	133.	Stability in model theory/ Daniel Lascar ; translated from the French by J.E. Wallington. by Lascar, D. (Daniel), 1942- Series: Pitman monographs and surveys in pure and applied mathematics ; 36 Language: English Original language: French Publication details: Harlow, Essex, England: New York: Longman Scientific & Technical, J. Wiley, 1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 L341s 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	134.	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)
	135.	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)
	136.	Degrees of unsolvability: local and global theory/ Manuel Lerman. by Lerman, M. (Manuel), 1943- Series: Perspectives in mathematical logic Publication details: Berlin ; New York: Springer-Verlag, 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 L616d 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	137.	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)
	138.	No cover image available No cover image available Mechanical theorem proving in the USSR: the Leningrad school/ Vladimir Lifschitz. by Lifschitz, Vladimir Series: Monograph series on Soviet Union \| Delphic emigre series Publication details: Falls Church, Va. (7700 Leesburg Pike, #250, Falls Church 22043): Delphic Associates, c1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 L722m 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	139.	No cover image available No cover image available Einführung in die operative Logik und Mathematik/ Paul Lorenzen. by Lorenzen, Paul Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 78. Publication details: Berlin: Springer, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 L869e 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	140.	No cover image available No cover image available Formale Logik. by Lorenzen, Paul Series: Sammlung Göschen Publication details: Berlin: W. de Gruyter, 1958 Availability: Items available for loan: Castorina (1)Call number: 511.3 L869f 1958 IMPA. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 221 results.