Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
See Baker & Taylor
Computability and logic/ George Boolos, Richard Jeffrey. by
  • Boolos, George
  • Jeffrey, Richard C [joint author.]
Edition: 2d ed.
Publication details: Cambridge, UK: New York: Cambridge University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 B724c 1980 IMPA.

Place hold Add to cart
2.
See Baker & Taylor
The unprovability of consistency: an essay in modal logic/ George Boolos. by
  • Boolos, George
Publication details: Cambridge, UK New York: Cambridge University Press, 1979
Availability: Items available for loan: Castorina (1)Call number: 511.3 B724u 1979 IMPA.

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


Powered by Koha