Periódicos correntes

Your search returned 12 results.

Results
	1.	Category theory/ Steve Awodey. by Awodey, Steve, 1959- Series: Oxford logic guides ; 49. Edition: 2nd ed. Publication details: New York; Oxford: Oxford University Press, 2010 Availability: Items available for loan: Castorina (1)Call number: 512.63 A967c 2010 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	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)
	3.	Boolean-valued models and independence proofs in set theory/ J.L. Bell. by Bell, J. L. (John Lane) Series: Oxford logic guides ; 12 \| Oxford science publications Edition: 2nd ed. Publication details: Oxford: Clarendon Press, 1985 Availability: Items available for loan: Castorina (1)Call number: 511.322 B433b 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Elements of intuitionism/ by Michael Dummett ; with the assistance of Roberto Minio. by Dummett, Michael A. E Minio, Roberto [joint author.] Series: Oxford logic guides Publication details: Oxford: Clarendon Press, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 D889e 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Formal number theory and computability: a workbook/ by Alec Fisher. by Fisher, Alec Series: Oxford logic guides ; 7 \| Oxford science publications Publication details: Oxford: Clarendon Press, 1982 Availability: Items available for loan: Castorina (2)Call number: 511.3 F533f 1982 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	6.	Computability theory, semantics, and logic programming/ Melvin Fitting. by Fitting, Melvin, 1942- Series: Oxford logic guides ; 13 Publication details: New York: Oxford: Oxford University Press, Clarendon Press, 1987 Availability: Items available for loan: Castorina (1)Call number: 005 F547c 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Cantorian set theory and limitation of size/ Michael Hallett. by Hallett, Michael, 1930- Series: Oxford logic guides ; 10. Publication details: Oxford: Clarendon Press, 1984 Availability: Items available for loan: Castorina (1)Call number: 511.322 H186c 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Models of Peano arithmetic/ Richard Kaye. by Kaye, Richard (Richard W.) Series: Oxford logic guides ; 15. \| Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1991 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	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)
	10.	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)
	11.	Gödel's incompleteness theorems/ Raymond M. Smullyan. by Smullyan, Raymond M Series: Oxford logic guides ; 19. Publication details: New York: Oxford University Press, 1992 Availability: Items available for loan: Castorina (1)Call number: 511.3 S666g 1992 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	Choice sequences: a chapter of intuitionistic mathematics/ by A. S. Troelstra. by Troelstra, A. S. (Anne Sjerp) Series: Oxford logic guides Publication details: Oxford: Clarendon Press, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 T843c 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha