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

Results
	41.	Philosophie des mathématiques/ Paul Bernays ; introduction et traduction de Hourya Benis Sinaceur. by Bernays, Paul, 1888- Series: Mathesis (Paris, France) Language: French Original language: German Publication details: Paris: J. Vrin, 2003 Availability: Items available for loan: Castorina (1)Call number: 510.1 B524p 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	42.	No cover image available No cover image available No cover image available Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. by Beth, Evert Willem Series: Synthese library Publication details: Dordrecht; New York: D. Reidel; Gordon & Breach, [1962] Availability: Items available for loan: Castorina (2)Call number: 511.3 B562f 1962 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	43.	No cover image available No cover image available No cover image available La crise de la raison et la logique: conférences faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mais, 1956. by Beth, Evert Willem Series: Collection de logique mathématique : sér. A Publication details: Paris: Gauthier-Villars, 1957 Availability: Items available for loan: Castorina (1)Call number: 510.1 B562C 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	44.	No cover image available No cover image available No cover image available Les fondements logiques des mathématiques. by Beth, Evert Willem Series: Collection de logique mathématique, sér. A ; 1 Edition: 2. éd, rev. et augm. Publication details: Paris: Gauthier-Villars, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 B562f 1955 IMPA. Place hold Add to cart (remove)
	45.	No cover image available No cover image available No cover image available Solutions to the exercises in First course in mathematical logic/ Frederick Binford. by Binford, Frederick Publication details: New York: Blaisdell, c1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 B612s 1965 IMPA. Place hold Add to cart (remove)
	46.	No cover image available No cover image available No cover image available A precis of mathematical logic/ translated from the French and German editions by Otto Bird. by Bochenski, Joseph M, 1902- Series: Synthese library Language: engfreger Publication details: Dordrecht ; D. Reidel, [1959] Availability: Items available for loan: Castorina (1)Call number: 511.3 B664p 1959 IMPA. Found in Open Library: Place hold Add to cart (remove)
	47.	No cover image available No cover image available No cover image available Manuel de logique scientifique, remplaçant et complétant les Éléments de logique scientifique, 1942/ Marcel Boll. by Boll, Marcel, 1886- Publication details: Paris: Dunod, 1948 Availability: Items available for loan: Castorina (1)Call number: 511.3 B691m 1948 IMPA. Found in Open Library: Place hold Add to cart (remove)
	48.	No cover image available No cover image available No cover image available Collected logical works. by Boole, George, 1815-1864 Publication details: La Salle, IL.: Open Court, 1952 Availability: Items available for reference: Castorina: Not For Loan (2). Found in Open Library: Add to cart (remove)
	49.	No cover image available No cover image available No cover image available An investigation of the laws of thought: on which are founded mathematical theories of logic and probabilities. by Boole, George, 1815-1864 Publication details: New York: Dover, 1854 Availability: Items available for reference: Castorina: Not For Loan (1). Add to cart (remove)
	50.	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)
	51.	Computability and logic/ George Boolos, Richard Jeffrey. by Boolos, George Jeffrey, Richard C [joint author.] Edition: 2d ed. Publication details: Cambridge, UK: New York: Cambridge University Press, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 B724c 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	52.	Computability, complexity, logic/ E. Börger. by Borger, E. (Egon), 1946- Series: Studies in logic and the foundations of mathematics ; v. 128. Language: engger Publication details: Amsterdam ;: New York: New York: North-Holland, U.S.A. and Canada; Elsevier, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 B732c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	53.	No cover image available No cover image available No cover image available Introducción al simbolismo lógico/ Jorge Bosch. by Bosch, J Series: Latin American documents ; reel 146, item 9. Publication details: Buenos Aires: Editorial Universitaria de Buenos Aires, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 B742i 1968 IMPA. Place hold Add to cart (remove)
	54.	No cover image available No cover image available No cover image available Introducción a la filosofía matemática/ Walther Brand, Marie Deutschbein ; traducción del alemán y notas de R. Ledesma Ramos. by Brand, Walther Deutschbein, Marie Language: Spanish Original language: German Publication details: Madrid: Revista de Occidente, c1930 Availability: Items available for loan: Castorina (1)Call number: 511.3 B817i 1930 IMPA. Found in Open Library: Place hold Add to cart (remove)
	55.	Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry/ Ionel Bucur ; translated from the Romanian by Mihnea Moroianu. by Bucur, Ion, 1930-1976 Series: Mathematics and its applications (D. Reidel Publishing Company). East European series Language: engrum Publication details: Bucarest (Rumânia): Dordrecht ; Boston: Hingham, MA: Editura Academiei, D. Reidel, Kluwer Academic, c1984 Availability: Items available for loan: Castorina (1)Call number: 512 B926s 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	56.	Mathematical fallacies and paradoxes/ Bryan H. Bunch. by Bunch, Bryan H Publication details: New York: Van Nostrand Reinhold, c1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 B942m 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	57.	No cover image available No cover image available No cover image available Compound statements and mathematical logic/ [by] Vincent E. Cangelosi. by Cangelosi, Vincent E Series: Merrill's mathematics and quantitative methods series Publication details: Columbus, Ohio: C.E. Merrill Books, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 C222c 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	58.	No cover image available No cover image available No cover image available Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen/ Rudolf Carnap. by Carnap, Rudolf, 1891-1970 Edition: 2. neubearb. und erweiterte Aufl. Publication details: Wien: Springer, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 C288e 1960 IMPA. Place hold Add to cart (remove)
	59.	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)
	60.	No cover image available No cover image available No cover image available Introduction to symbolic logic and its applications/ Translated by William H. Meyer and John Wilkinson. by Carnap, Rudolf, 1891-1970 Language: engund Publication details: New York: Dover, [1958] Availability: Items available for loan: Castorina (1)Call number: 511.3 C288i 1958 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 263 results.