Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
See Baker & Taylor
Logic in computer science/ editor, Zoran Ognjanovic. by
  • Ognjanovic, Zoran
Series: Zbornik radova (Srpska akademija nauka) ; knj. 12 (20).
Publication details: Beograd: Matematicki Institut SANU, 2009
Availability: Items available for loan: Castorina (1)Call number: 005.131 L832 2009 IMPA.

Place hold Add to cart
2.
See Baker & Taylor
Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil/ Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by
  • Brazilian Conference on Mathematical Logic (11th: 1996: Salvador, Brazil)
  • Carnielli, Walter A. (Walter Alexandre)
  • D'Ottaviano, Itala M. L, 1944-
Series: Contemporary mathematics (American Mathematical Society) ; v. 235.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1).

Place hold Add to cart
3.
See Baker & Taylor
Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. by
  • Huth, Michael, 1962-
  • Ryan, Mark, 1962-
Edition: 2nd ed.
Publication details: Cambridge [U.K.]; New York: Cambridge University Press, 2004
Availability: Items available for loan: Castorina (1)Call number: 005.131 H979l 2004 IMPA.

Place hold Add to cart
4.
See Baker & Taylor
The logician and the engineer: how George Boole and Claude Shannon created the information age/ Paul J. Nahin. by
  • Nahin, Paul J
Publisher: Princeton: Princeton University Press, [2013]Copyright date: c2013
Availability: Items available for loan: Castorina (1)Call number: 510.9 N153l 2013 IMPA.

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


Powered by Koha