Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Labelled Non-Classical LogicsViganò Luca ViganòSpringer US 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Matrix LogicAugust SternNorth-Holland 1988Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Computability, Enumerability, Unsolvability: Directions in recursion theoryS. C. Bruce, J. W. Coutinho S. B Cooper; S. Barry Cooper; T. A Slaman; Theodore Allen Slaman; S. S Wainer S. S. Wainer T. A. SlamanCambridge Cambridge University Press 1996Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Advances in Linear LogicJean-Yves Lafont, Yves Regnier, Laurent Girard J Coates; Jean-Yves Girard; Yves Lafont; Laurent Regnier Laurent Regnier Yves Lafont; N. J HitchinCambridge Cambridge University Press 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Computability, Complexity, LogicEgon Börger E Börger; E B RgerElsevier 1989Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Southeast Asian Conference on LogicSoutheast Asian Conference on Logic C.-T Chong; Chi-Tat Chong; M.J Wicks; Malcolm John WicksElsevier 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Tese de Doutorado
|
A lógica nebulosa (fuzzy logic) aplicada na contabilidade: um modelo para os julgamentos de materialidade no planejamento da auditoriaBorba, José AlonsoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Economia, Administração e Contabilidade 2001-10-01Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Varieties of Constructive MathematicsDouglas S. Bridges Fred Richman; Allan M Sinclair Fred Richman; N. J HitchinCambridge Cambridge University Press 1987Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Recursive FunctionalsLuis E. Sanchis L.E SanchisElsevier 1992Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Bounded Arithmetic, Propositional Logic, and Complexity TheoryJan Krajicek Cambridge University Press.; B Doran; Philippe Flajolet; M Ismail; T. Y Lam; E Lutwak; Gian-Carlo Rota; E WutwakCambridge Cambridge University Press 1995Acesso online. A biblioteca também possui exemplares impressos. |