Computability and logic George S. Boolos, Richard C. Jeffrey.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0521389232
- QA9.59 B66 1989
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Ingeniería Eléctrica General | QA9.59 B66 1989 (Browse shelf(Opens below)) | C:1 | Available | BIE000000850 |
Browsing Biblioteca de la Facultad de Ingeniería Eléctrica shelves, Shelving location: General Close shelf browser (Hides shelf browser)
QA9.2 F47 1962 Lógica matemática | QA9.2 M46 2010 Introduction to mathematical logic | QA9.58 N43 2004 Foundations of algorithms using Java pseudocode / | QA9.59 B66 1989 Computability and logic | QA9.59 B75 1994 Computability | QA9.6 R63 1986 Thinking recursively | QA9.63 D38 1982 Computability & unsolvability |
Incluye índice
There are no comments on this title.
Log in to your account to post a comment.