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

Results
	21.	No cover image available No cover image available No cover image available An algebraic introduction to mathematical logic/ D. W. Barnes, J. M. Mack. by Barnes, D. W. (Donald W.), 1935- Mack, J. M [joint author.] Series: Graduate texts in mathematics ; v. 22 Publication details: New York: Springer-Verlag, [1975] Availability: Items available for loan: Castorina (1)Call number: 511.3 B261a 1975 IMPA. Found in Open Library: Place hold Add to cart (remove)
	22.	No cover image available No cover image available No cover image available Aritmetical applications of B-mathematics/ Nils Aall Barricelli. by Barricelli, Nils Aall Hansen, B. B Colba, E. A Series: Theoretic papers Edition: [1st ed.] Publication details: Oslo: Univ. of Oslo, 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 B275a 1983 IMPA. Place hold Add to cart (remove)
	23.	Admissible sets and structures: an approach to definability theory/ Jon Barwise. by Barwise, Jon Series: Perspectives in mathematical logic Publication details: Berlin; New York: Springer-Verlag, 1975 Availability: Items available for loan: Castorina (2)Call number: 511.3 B296a 1975 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	24.	No cover image available No cover image available No cover image available Introduction to symbolic logic/ A. H. Basson. by Basson, A. H Edition: [1st ed.] Publication details: London: Univ. Tutorial Press, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 B322i 1968 IMPA. Place hold Add to cart (remove)
	25.	A course in mathematical logic/ by J. L. Bell and M. Machover. by Bell, J. L. (John Lane) Machover, Moshé [joint author.] Publication details: Amsterdam ; New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 B433c 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	26.	Models and ultraproducts/ an introduction by J. L. Bell and A. B. Slomson. by Bell, J. L. (John Lane) Slomson, A. B [joint author.] Edition: 2nd revised [ed.] Publication details: Amsterdam ; North-Holland, 1971 Availability: Items available for loan: Castorina (1)Call number: 511.3 B433m 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	27.	No cover image available No cover image available No cover image available L'existence en mathématiques;: conférences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 mars au 7 avril 1954. by Beth, Evert Willem Series: Collection de logique mathématique : sér. A ; 10. Publication details: Paris: Gauthier-Villars, 1956 Availability: Items available for loan: Castorina (1)Call number: 511.3 B562e 1956 IMPA. Found in Open Library: Place hold Add to cart (remove)
	28.	Automated theorem proving/ Wolfgang Bibel. by Bibel, W, 1938- Publication details: Braunschweig: F. Vieweg, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 B581a 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	29.	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)
	30.	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)
	31.	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)
	32.	No cover image available No cover image available No cover image available The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning/ by George Boole. by Boole, George, 1815-1864 Publication details: Cambridge, UK: Macmillan, 1847 Availability: Items available for loan: Castorina (1)Call number: 511.3 B724m 1847 IMPA. Place hold Add to cart (remove)
	33.	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)
	34.	The unprovability of consistency: an essay in modal logic/ George Boolos. by Boolos, George Publication details: Cambridge, UK New York: Cambridge University Press, 1979 Availability: Items available for loan: Castorina (1)Call number: 511.3 B724u 1979 IMPA. Found in Open Library: Place hold Add to cart (remove)
	35.	Fasci, logica e topoi/ F. Borceux. by Borceux, Francis, 1948- Series: Quaderni dell'Unione Matematica Italiana ; 34. Publication details: Bologna: Pitagora, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 B726f 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	36.	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)
	37.	No cover image available No cover image available No cover image available Computer programming and formal systems. by Braffort, P. (Paul) [ed.] Hirschberg, D. (David) [joint ed.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 B812c 1967 IMPA. Place hold Add to cart (remove)
	38.	No cover image available No cover image available No cover image available Algorithmen, rekursive Funktionen und formale Sprachen/ von Wilfried Brauer und Klaus Indermark. by Brauer, Wilfried Indermark, Klaus [joint author.] Series: B. I. Hochschulskripten ; 817. Publication details: Mannheim: Bibliographisches Institute, [1968] Availability: Items available for loan: Castorina (1)Call number: 511.3 B825a 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	39.	No cover image available No cover image available No cover image available Logica matematica/ Cesare Burali-Forti. by Burali-Forti, Cesare, 1861- Series: Manuah Hoepli Edition: Seconda edizione intieramente rifatta. Publication details: Milano: U. Hoepli, 1919 Availability: Items available for loan: Castorina (1)Call number: 511.3 B945l 1919 IMPA. Place hold Add to cart (remove)
	40.	Theories of computational complexity/ Christian Calude. by Calude, Cristian, 1952- Series: Annals of discrete mathematics ; 35. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.3 C166t 1988 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.