Periódicos correntes

Your search returned 18 results.

Results
	1.	Logical reasoning with diagrams/ edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]. by Allwein, Gerard, 1956- Barwise, Jon Series: Studies in logic and computation Publication details: New York: Oxford University Press, 1996 Availability: Items available for loan: Castorina (1)Call number: 511.3 A532 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available What is mathematical logic? J. N. Crossley ... [and others]. by Crossley, John N Publication details: London: Oxford University Press, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 W555 1972 IMPA. Place hold Add to cart (remove)
	3.	Logic: from foundation to applications : European logic colloquium/ edited by Wilfrid Hodges ... [et al.]. by Hodges, Wilfrid Logic Colloquium (1993: University of Keele) Series: Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1996 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	No cover image available No cover image available Polish logic, 1920-1939/ papers by Ajdukiewicz [and others]; with an introd. by Tadeusz Kotarbinski, edited by Storrs McCall, translated by B. Gruchman [and others] by Ajdukiewicz, Kazimierz Gruchman, Bohdan [tr.] Publication details: Oxford: Clarendon Press, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 P768 1967 IMPA. Place hold Add to cart (remove)
	5.	Toposes and local set theories: an introduction/ J. L. Bell. by Bell, J. L. (John Lane) Series: Oxford logic guides ; 14 \| Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.322 B433t 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	Constructibility and mathematical existence/ Charles S. Chihara. by Chihara, Charles S, 1932- Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1990 Availability: Items available for loan: Castorina (1)Call number: 511.3 C534c 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Mathematical logic/ Ian Chiswell and Wilfrid Hodges. by Chiswell, Ian, 1948- Hodges, Wilfrid Series: Oxford texts in logic ; 3 Publication details: London; New York: Oxford University Press, 2007 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 511.3 C542m 2007 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available The calculi of lambda-conversion/ by Alonzo Church. by Church, Alonzo, 1903- Series: Annals of mathematics studies ; 6. 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 C561c 1941 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available Mathematical logic: a course with exercises/ René Cori and Daniel Lascar ; translated by Donald H. Pelletier. by Cori, René Lascar, D. (Daniel), 1942- Language: English Original language: French Publication details: Oxford: New York: Oxford University Press, 2000-2001 Availability: Items available for loan: Castorina (2)Call number: 511.3 C798m 2001 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	10.	Translations from the philosophical writings of Gottlob Frege/ edited Peter Geach and Max Black ; index prepared by E.D. Klemke. by Frege, Gottlob, 1848-1925 Geach, P. T. (Peter Thomas), 1916- Black, Max, 1909- Edition: 3rd ed. Language: engger Publication details: Oxford: Blackwell, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 F858t 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	No cover image available No cover image available Collected works/ Kurt Gödel ; editors, Solomon Feferman ... [et al.]. by Godel, Kurt, 1906-1978 Feferman, Solomon, 1928- Language: engger Publication details: Oxford: New York: Clarendon Press, Oxford University Press, c1986-<1995 > Availability: Items available for reference: Castorina: Not For Loan (3). Found in Open Library: Add to cart (remove)
	12.	The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/ by Kurt Gödel. by Godel, Kurt, 1906-1978 Brown, George William, 1917- Series: Annals of mathematics studies ; no. 3. Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1940 Availability: Items available for loan: Castorina (2)Call number: 511.3 G581c 1940 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	13.	The adventure of reason: interplay between philosophy of mathematics and mathematical logic, 1900-1940/ Paolo Mancosu. by Mancosu, Paolo [author.] Publisher: Oxford: Oxford University Press, 2014 Availability: Items available for loan: Castorina (1)Call number: 510.9 M269a 2014 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	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)
	15.	No cover image available No cover image available Elements of mathematical logic and set theory/ by J. Supecki and L. Borkowski; translated by O. Wojtasiewicz. by Slupecki, Jerzy Borkowski, Ludwik [joint author.] Series: International series of monographs in pure and applied mathematics ; v. 96. Edition: [1st English ed.] Language: English Original language: Polish Publication details: Oxford: New York: Pergamon Press, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 S634e 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	The Boole-De Morgan correspondence, 1842-1864/ edited by G.C. Smith. by Smith, G. C., MA De Morgan, Augustus, 1806-1871 Smith, G. C., MA Series: Oxford logic guides \| Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1982 Availability: Items available for loan: Castorina (1)Call number: 510.9 S648b 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	Southeast Asian Conference on Logic/ proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks. by Southeast Asian Conference on Logic (1981 : Singapore)) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928- Series: Studies in logic and the foundations of mathematics ; v. 111. Publication details: Amsterdam ;: Oxford: North-Holland, 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 S727 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	No cover image available No cover image available Logic, semantics, metamathematics: papers from 1923 to 1938/ translated by J. H. Woodger. by Tarski, Alfred, 1901-1983 Publication details: Oxford: Clarendon Press, 1969 Availability: Items available for reference: Castorina: Not For Loan (1). Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha