Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Set Theory and Its Logic!! Willard Van O QUINEHarvard University Press 1969Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Introdução à lógica e aplicaçõesJair Minoro Abe; João Paulo Attie; Alexandre Scalzitti; Edson Tiharu Tsukimoto; Flavio Shigeo YamamotoSão Paulo Plêiade 1999Localização: IME - Inst. Matemática e Estatística (QA9.1 A138i )(Acessar) |
|
3 |
Material Type: Livro
|
Introdução à lógica clássica e aplicaçõesJair Minoro Abe; Alexandre Scalzitti; Flavio Shigeo Yamamoto; Edson Tiharu Tsukimoto; João Paulo AttieSão Paulo Plêiade 1997Localização: IME - Inst. Matemática e Estatística (QA9.1 A138c )(Acessar) |
|
4 |
Material Type: Livro
|
Para-analyzer and its applicationsJair Minoro Abe João Inácio da Silva Filho; Fábio Romeu de Carvalho; Israel Brunstein 1936-2008Abe, Jair Minoro(*); Nakamatsu, Kazumi(*). (Eds.) Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005 Amsterdam : IOS Press, 2005Amsterdam IOS Press 2005Item não circula. Consulte sua biblioteca.(Acessar) |
|
5 |
Material Type: Livro
|
Teoria intuitiva dos conjuntosJair Minoro Abe Nelson Papavero 1942-Sao Paulo Mcgraw-Hill 1992Localização: IME - Inst. Matemática e Estatística (QA12.1 A138t ) e outros locais(Acessar) |
|
6 |
Material Type: Recurso Textual
|
A note on curry algebrasJair Minoro AbeSeparata de Comunicações Técnico-Científicas. Faculdade de Engenharia de Ilha Solteira-UNESP v.1, 8 p., 1980Ilha Solteira Feis/Unesp 1987Localização: IME - Inst. Matemática e Estatística (SEPARATA A138n )(Acessar) |
|
7 |
Material Type: Livro
|
Paraconsistent knowledge and multi-agentesJair Minoro Abe Seiki AkamaSão Paulo Instituto de Estudos Avançados da USP 1998Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (510.6 Ab33p f )(Acessar) |
|
8 |
Material Type: Livro
|
The theory of sets and transfinite arithmeticAlexander Abian 1925-Philadelphia Saunders 1965Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas (519.4 Alb T ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Transversal mappings and flowsRalph Abraham Joel W RobbinNew York W. A. Benjamin 1967Localização: ICMC - Inst. Ciên. Mat. Computação (58F03 A159t e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Handbook of logic in computer scienceSamson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-Oxford Clarendon New York Oxford University Press 1992-<2000>Localização: EPBC - Esc. Politécnica-Bib Central (004 H191 v.4 ) e outros locais(Acessar) |