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

Results
	181.	Mathematical logic/ J. Donald Monk. by Monk, J. Donald (James Donald), 1930- Series: Graduate texts in mathematics ; 37. Publication details: New York: Springer-Verlag, 1976 Availability: Items available for loan: Castorina (1)Call number: 511.3 M745m 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	182.	No cover image available No cover image available No cover image available A theory of sets/ by Anthony P. Morse. by Morse, Anthony P. (Anthony Perry) Series: Pure and applied mathematics (Academic Press) ; 18. Publication details: New York: Academic Press, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.322 M884t 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	183.	No cover image available No cover image available No cover image available Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel. by Mostowski, Andrzej Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1952 Availability: Items available for loan: Castorina (1)Call number: 511.3 M916s 1952 IMPA. Found in Open Library: Place hold Add to cart (remove)
	184.	Philosophy of mathematics and deductive structure in Euclid's Elements/ Ian Mueller. by Mueller, Ian Publication details: Cambridge, Mass.: MIT Press, c1981 Availability: Items available for loan: Castorina (2)Call number: 516.1 M946p 1981 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	185.	No cover image available No cover image available No cover image available Introductory real analysis/ by M. E. Munroe. by Munroe, M. Evans (Marshall Evans), 1918- Series: Addison-Wesley series in mathematics Publication details: Reading, Mass.: Addison-Wesley, [1965] Availability: Items available for loan: Castorina (1)Call number: 515 M968i 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	186.	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)
	187.	No cover image available No cover image available No cover image available Introduction à la logique mathématique/ P. S. Novikov. Traduit par Ch. Sarthou. by Novikov, P. S. (Petr Sergeevich) Series: Collection universitaire de mathématiques ; 14 Language: frerus Publication details: Paris: Dunod, 1964 Availability: Items available for loan: Castorina (1)Call number: 511.3 N943i 1964 IMPA. Place hold Add to cart (remove)
	188.	No cover image available No cover image available No cover image available An examination of a decision procedure/ by Francis C. Oglesby. by Oglesby, Francis C Series: Memoirs of the American Mathematical Society ; no. 44 Publication details: Providence, R.I.: American Mathematical Society, 1962 Availability: Items available for loan: Castorina (1). Place hold Add to cart (remove)
	189.	No cover image available No cover image available No cover image available Les mathématiques et le raisonnement "plausible"/ Présenté et préf. par Louis Couffignal; traduit de l'anglais par Robert Vallée. by Pólya, George, 1887-1985 Pólya, George, 1887-1985 Publication details: Paris: Gauthier-Villars, 1958 Availability: Items available for loan: Castorina (1)Call number: 510.7 P781m 1958 IMPA. Place hold Add to cart (remove)
	190.	No cover image available No cover image available No cover image available Mathematics and plausible reasoning/ George Pólya. by Pólya, George, 1887-1985 Publication details: Princeton, N.J.: Princeton University Press, 1954 Availability: Items available for loan: Castorina (2)Call number: 510.1 P781m 1954 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	191.	No cover image available No cover image available No cover image available Induction and analogy in mathematics/ by G. Polya. by Pólya, George, 1887-1985 Series: Mathematics and Plausible Reasoning ; v. 1 Publication details: Princeton, N.J., Princeton University Press, 1954 Availability: Items available for loan: Castorina (1)Call number: 510.1 P781i 1954 IMPA. Found in Open Library: Place hold Add to cart (remove)
	192.	No cover image available No cover image available No cover image available La logique déductive dans sa dernière phase de développement/ par Alessandro Padoa. Avec une préface de Giuseppe Peano. by Padoa, Alessandro, 1868- Publication details: Paris: Gauthier-Villars, 1912 Availability: Items available for loan: Castorina (1)Call number: 511.3 P124l 1912 IMPA. Place hold Add to cart (remove)
	193.	Completeness Theory for Propositional Logics [electronic resource]/ by Witold A. Pogorzelski, Piotr Wojtylak. by Pogorzelski, Witold A, 1895-1962 Wojtylak, Piotr SpringerLink (Online service) Series: Studies in Universal Logic Source: Springer eBooks ; Format: electronic available online Publication details: Basel: Birkhäuser Basel, 2008 Online access: Click here to access online Availability: No items available. Found in Open Library: Add to cart (remove)
	194.	Introduction to symbolic logic/ John L. Pollock. by Pollock, John L Publication details: New York: Holt, Rinehart and Winston, [1969] Availability: Items available for loan: Castorina (1)Call number: 511.3 P776i 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	195.	Mathematical logic. by Ponasse, Daniel Series: Notes on mathematics and its applications Language: engfre Publication details: New York: Gordon & Breach, [1973] Availability: Items available for loan: Castorina (1)Call number: 511.3 P792m 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	196.	No cover image available No cover image available No cover image available La logique mathématique et le calcul mécanique. by Porte, Jean Publication details: Bahía Blanca, Argentina: Universidad Nacional del Sur, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 P843l 1960 IMPA. Place hold Add to cart (remove)
	197.	No cover image available No cover image available No cover image available Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs/ Jean Porte. by Porte, Jean Series: Collection de logique mathématique : sér. A ; 18. Publication details: Paris: Gauthier-Villars, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 P843r 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	198.	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)
	199.	Solvability, provability, definability: the collected works of Emil L. Post/ Martin Davis, editor. by Post, Emil Leon, 1897-1954 Davis, Martin, 1928- Series: Contemporary mathematicians Publication details: Boston: Birkhäuser, 1994 Availability: Items available for reference: Castorina: Not For Loan (1). Found in Open Library: Add to cart (remove)
	200.	m-M calculus/ Slavisa B. Presic. by Presic, Slavisa B Series: Posebna izdanja (Matematicki institut (Belgrade, Serbia)) ; knj. 18. Publication details: Beograd: Matematicki Institut SANU, 1996 Availability: Items available for loan: Castorina (1)Call number: 518 P933m 1996 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.