Computability and logic George S. Boolos, Richard C. Jeffrey.

By: Contributor(s): Material type: TextTextPublication details: New York : Cambridge, c1989Edition: 3a edDescription: x, 304 p. : il. ; 20 cmISBN:
  • 0521389232
Subject(s): LOC classification:
  • QA9.59 B66 1989
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Libro Libro 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.

to post a comment.

Powered by Koha