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

Results
	161.	Hilbert's tenth problem: an introduction to logic, number theory, and computability/ M. Ram Murty, Brandon Fodden. by Murty, Maruti Ram [author.] Fodden, Brandon, 1979 Series: Student mathematical library ; v. 88. Publisher: Providence, Rhode Island: American Mathematical Society, [2019] Other title: Introduction to logic, number theory, and computability Availability: Items available for loan: Castorina (1)Call number: 511.3 M984h 2019 IMPA. Found in Open Library: Place hold Add to cart (remove)
	162.	Predicative arithmetic/ by Edward Nelson. by Nelson, Edward, 1932- Series: Mathematical notes (Princeton University Press) ; 32. Publication details: Princeton, N.J.: Princeton University Press, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 N424p 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	163.	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)
	164.	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)
	165.	Complexity of proofs and their transformations in axiomatic theories/ V. P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish. by Orevkov, V. P Louvish, David Series: Translations of mathematical monographs ; v. 128. Language: English Original language: Russian Publication details: Providence, R.I.: American Mathematical Society, c1993 Availability: Items available for loan: Castorina (1)Call number: 511.3 O66c 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)
	166.	No cover image available No cover image available Recursive functions/ Translated by István Földes. by Péter, Rózsa, 1905- Edition: 3d, rev. ed. Language: engund Publication details: New York: Academic Press, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.352 P478r 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	167.	No cover image available No cover image available Rekursive Funktionen/ von Rózsa Péter. by Péter, Rózsa, 1905- Edition: 2. erw. Aufl. Publication details: Budapest: Urgarischen Akademie der Wissenschaften, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.352 P478r 1957 IMPA. Place hold Add to cart (remove)
	168.	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)
	169.	Geometric stability theory / Anand Pillay. by Pillay, Anand Series: Oxford logic guides ; 32. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1996 Online access: Table of contents Table of contents Publisher description Availability: Items available for loan: Castorina (1)Call number: 511.33 P641g 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	170.	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)
	171.	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)
	172.	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)
	173.	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)
	174.	Model theory and modules/ Mike Prest. by Prest, Mike Series: London Mathematical Society lecture note series ; 130. Publication details: Cambridge, UK: New York: Cambridge University Press, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.3 P936m 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	175.	Mathematical logic and model theory: a brief introduction/ Alexander Prestel, Charles N. Delzell. by Prestel, A. (Alexander), 1941- Delzell, Charles N, 1953- Series: Universitext Publication details: London; New York: Springer, 2011 Availability: Items available for loan: Castorina (1)Call number: 511.3 P936m 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)
	176.	No cover image available No cover image available Formal logic/ by A.N. Prior. by Prior, A. N. (Arthur N.), 1914-1969 Publication details: Oxford: Clarendon Press, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 P958f 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	177.	Methods of logic/ W. V. Quine. by Quine, W. V. (Willard Van Orman) Edition: 3d ed. Publication details: New York: Holt, Rinehart and Winston, [1972] Availability: Items available for loan: Castorina (1)Call number: 511.3 Q7m 1972 IMPA. Found in Open Library: Place hold Add to cart (remove)
	178.	No cover image available No cover image available Elements of symbolic logic. by Reichenbach, Hans, 1891-1953 Publication details: New York: Macmillan, 1947 Availability: Items available for loan: Castorina (1)Call number: 511.3 R351e 1947 IMPA. Found in Open Library: Place hold Add to cart (remove)
	179.	No cover image available No cover image available Introduction á la logistique/ Traduit de l'allemand; par Henri Savonnet by Reichenbach, Hans, 1891-1953 Series: Actualités scientifiques et industrielles ; 794. \| Logique et théorie de la science ; 1. Publication details: Paris: Hermann, 1939 Availability: Items available for loan: Castorina (1)Call number: 511.3 R351i 1939 IMPA. Found in Open Library: Place hold Add to cart (remove)
	180.	No cover image available No cover image available Topics in philosophical logic/ Nicholas Rescher. by Rescher, Nicholas Series: Synthese library Publication details: Dordrecht ; New York: D. Reidel, Humanities Press, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 R431t 1968 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.