1
|
Material Type: Livro
|
|
Handbook of mathematical logic
Jon Barwise 1942-; H. Jerome Keisler (Howard Jerome), 1936-
Amsterdam New York North-Holland 1977
Localização:
IME - Inst. Matemática e Estatística
(QA9 B296h e.2 )(Acessar)
|
2
|
Material Type: Livro
|
|
Proceedings of the kleene symposium
Kleene Symposium (1978 : Madison, Wis) H. Jerome Keisler; Jon Barwise
Amsterdam North-Holland 1980
Localização:
IME - Inst. Matemática e Estatística
(QA10.3.C K63p )(Acessar)
|
3
|
Material Type: Livro
|
|
Handbook of mathematical logic
Jon Barwise; H. Jerome Keisler
Amsterdam Elsevier New York 1999
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(511.3 H236 )(Acessar)
|