1
|
Material Type: Livro
|
|
Computability and logic
George Boolos (George Stephen), 1940-1996 Richard Carl Jeffrey 1926-2002
Cambridge England University Press 1974
Localização:
IME - Inst. Matemática e Estatística
(QA9 B724c ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Computability and logic
George Boolos (George Stephen), 1940-1996 Richard C Jeffrey
Cambridge England New York Cambridge University Press 1980
Localização:
IME - Inst. Matemática e Estatística
(QA9 B724c 2.ed. )(Acessar)
|
3
|
Material Type: Livro
|
|
Computability and logic
George Boolos (George Stephen), 1940-1996 Richard C Jeffrey
Cambridge Cambridge University Press 2002
Localização:
EPBC - Esc. Politécnica-Bib Central
(510.6 B644c4 )(Acessar)
|
4
|
Material Type: Livro
|
|
Computability and logic
George Boolos (George Stephen), 1940-1996 Richard Carl Jeffrey 1926-2002
Cambridge Cambridge University Press New York 1996, c1989
Localização:
IME - Inst. Matemática e Estatística
MARTA CAVALLO BUNGE
(BUNGE QA9 B724c 3.d. e.1 )(Acessar)
|