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

Results
	101.	No cover image available No cover image available Systems of formal logic/ L. H. Hackstaff. by Hackstaff, L. H Publication details: Dordrecht ; D. Reidel, 1966 Availability: Items available for loan: Castorina (1)Call number: 511.3 H123s 1966 IMPA. Place hold Add to cart (remove)
	102.	Boole's logic and probability: a critical exposition from the standpoint of contemporary algebra, logic, and probability theory/ Theodore Hailperin. by Hailperin, Theodore Series: Studies in logic and the foundations of mathematics ; v. 85. Edition: 2nd ed., rev. and enl. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 H151b 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	103.	No cover image available No cover image available Algebraic logic. by Halmos, Paul R. (Paul Richard), 1916- Publication details: New York: Chelsea, [1962] Availability: Items available for loan: Castorina (1)Call number: 511.3 H194a 1962 IMPA. Found in Open Library: Place hold Add to cart (remove)
	104.	Logic as algebra/ Paul Halmos, Steven Givant. by Halmos, Paul R. (Paul Richard), 1916- Givant, Steven R Series: The Dolciani mathematical expositions ; no. 21. Publication details: [Washington, DC]: Mathematical Association of America, c1998 Availability: Items available for loan: Castorina (1)Call number: 511.3 H194l 1998 IMPA. Found in Open Library: Place hold Add to cart (remove)
	105.	No cover image available No cover image available Elementary formal logic/ by C. L. Hamblin. by Hamblin, C. L. (Charles Leonard), 1922-1985 Series: Clearway programmed books Publication details: Sydney: Hicks, Smith, [1966] Availability: Items available for loan: Castorina (1)Call number: 511.3 H199e 1966 IMPA. Place hold Add to cart (remove)
	106.	Logic for mathematicians/ A. G. Hamilton. by Hamilton, A. G, 1943- Publication details: Cambridge, UK: New York: Cambridge University Press, 1978 Availability: Items available for loan: Castorina (2)Call number: 511.3 H217l 1978 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	107.	No cover image available No cover image available Einführung in die formale Logik/ Gerd Harbeck. by Harbeck, Gerd Series: Beihefte fur den mathematischen Unterricht ; Heft 10 Publication details: Braunschweig: Friedr. Vieweg & Sohn, 1963 Availability: Items available for loan: Castorina (1)Call number: 511.3 H255e 1963 IMPA. Place hold Add to cart (remove)
	108.	Mathematical structures of language/ [by] Zellig Harris. by Harris, Zellig S. (Zellig Sabbettai), 1909- Series: Interscience tracts in pure and applied mathematics ; no. 21 Publication details: New York: Interscience Publishers, [1968] Availability: Items available for loan: Castorina (1)Call number: 511.3 H317m 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	109.	Lectures on algebraic model theory/ Bradd Hart, Matthew Valeriote, editors. by Hart, Bradd T Valeriote, Matthew Series: Fields Institute monographs ; 15, Publication details: Providence, R.I.: American Mathematical Society, c2002 Online access: Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.3 H325l 2002 IMPA. Found in Open Library: Place hold Add to cart (remove)
	110.	No cover image available No cover image available Lógica elementar/ Leônidas Hegenberg. by Hegenberg, Leônidas Publication details: [n.p.]: 1962 Availability: Items available for loan: Castorina (1)Call number: 511.3 H462l 1962 IMPA. Place hold Add to cart (remove)
	111.	No cover image available No cover image available Lógica simbólica/ Leonidas Hegenberg. by Hegenberg, Leônidas Publication details: São Paulo: Herder, 1966 Availability: Items available for loan: Castorina (1)Call number: 511.3 H317m 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	112.	No cover image available No cover image available Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen. by Hermes, Hans Series: Grundlehren der mathematischen Wissenschaften ; Bd. 109. Publication details: Berlin: Springer, 1961 Availability: Items available for loan: Castorina (2)Call number: 511.3 H553a 1961 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	113.	Introduction to mathematical logic/ Translated from German by Diana Schmidt. by Hermes, Hans Series: Universitext Language: engger Publication details: Berlin: New York: Springer-Verlag, 1973 Availability: Items available for loan: Castorina (1)Call number: 511.3 H553i 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	114.	No cover image available No cover image available Grundzüge der theoretischen Logik/ D. Hilbert und W. Ackermann. by Hilbert, David, 1862-1943 Ackermann, W. (Wilhelm), 1896- [joint author.] Series: Grundlehren der mathematischen Wissenschaften ; Bd. 27 Edition: 3, verb. Aufl. Publication details: Berlin: Springer, 1949-59 Availability: Items available for loan: Castorina (2)Call number: 511.3 H641g 1949 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	115.	No cover image available No cover image available Principles of mathematical logic/ by D. Hilbert and W. Ackermann; translated from the German by Lewis M. Hammond, George G. Leckie [and] F. Steinhardt. Edited and with notes by Robert E. Luce. by Hilbert, David, 1862-1943 Ackermann, W. (Wilhelm), 1896- [joint author.] Language: engger Publication details: New York: Chelsea, 1950 Availability: Items available for loan: Castorina (1)Call number: 511.3 H641p 1950 IMPA. Found in Open Library: Place hold Add to cart (remove)
	116.	No cover image available No cover image available Grundzüge der theoretischen Logik/ von D. Hilbert und W. Ackermann. by Hilbert, David, 1862-1943 Ackermann, W. (Wilhelm), 1896- [joint author.] Series: Grundlehren der mathematischen Wissenschaften ; Bd. 27. Edition: 2, verb. Aufl. Publication details: New York: Dover, 1946 Availability: Items available for loan: Castorina (1)Call number: 511.3 H641g 1946 IMPA. Found in Open Library: Place hold Add to cart (remove)
	117.	Introduction to combinatory logic/ [by] J. R. Hindley, B. Lercher and J. P. Seldin. by Hindley, J. Roger Lercher, B [joint author.] Seldin, J. P [joint author.] Series: London Mathematical Society lecture note series ; 7. Publication details: Cambridge, UK: University Press, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 H662i 1972 IMPA. Found in Open Library: Place hold Add to cart (remove)
	118.	Model theory/ Wilfrid Hodges. by Hodges, Wilfrid Series: Encyclopedia of mathematics and its applications ; v. 42 Publication details: Cambridge, UK: New York: Cambridge University Press, 1993 Availability: Items available for loan: Castorina (1)Call number: 511.3 H689m 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)
	119.	Logic/ by Wilfrid Hodges. by Hodges, Wilfrid Publication details: Harmondsworth; New York: Penguin Books, 1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 H689l 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	120.	Algebraic recursion theory/ L. L. Ivanov ; editor, J. L. Bell. by Ivanov, L. L. (Ljubomir Lalov), 1952- Series: Ellis Horwood series in mathematics and its applications Language: English Original language: Bulgarian Publication details: Chichester: New York: E. Horwood, Halsted Press, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.352 I93a 1986 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 221 results.