Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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.

Place hold Add to cart
2.
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.

Place hold Add to cart
3.
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, ...

Place hold Add to cart
4.
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.

Place hold Add to cart
5.
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.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha