Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese (Outras)
|
![]() |
Álgebras de CurryNewton Carneiro Affonso da Costa 1929-1966Localização: ICMC - Inst. Ciên. Mat. Computação (T C837aL e.1 ) e outros locais(Acessar) |
2 |
Material Type: Revista
|
![]() |
Archive for Mathematical LogicGERMANY HybridAcesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Revista
|
![]() |
FUNDAMENTA MATHEMATICAEPOLAND Instytut Matematyczny PANAcesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Techniques of admissible recursion theoryC.-T. Chong 1949- (Chi-Tat)Berlin New York Springer-Verlag 1984Localização: IME - Inst. Matemática e Estatística (S L471m v.1106 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Raciocínio lógico lógico matemático, lógico quantitativo, lógico numérico, lógico analítico, lógico críticoJonofon SératesBrasília Olimpica 1997Localização: IME - Inst. Matemática e Estatística (QA9.1 S482r v. 1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Introduction á la logistiqueHans Reichenbach 1891-1953Paris Hermann & cie 1939Localização: IF - Instituto de Física (511.3 R351i ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Proof Theory and Intuitionistic SystemsBruno ScarpelliniSpringer Berlin Heidelberg 1971Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Categories, AllegoriesPeter J. Freyd P.J Freyd; A Scedrov; Andre ScedrovElsevier 1990Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Ambiente matematico no seculo xix e a logica do seculo xxN C A CostaEvora, F R R, Ed Campinas : Centro de Logica Epistemologia e Historia da Ciencia, 1992 Colecao cle, 11 Seculo Xix: o Nascimento da Ciencia ContemporaneaCampinas Centro de Logica Epistemologia e Historia da Ciencia 1992Item não circula. Consulte sua biblioteca.(Acessar) |
10 |
Material Type: Livro
|
![]() |
Conjuntos, relações, funções, inequaçõesCid A. Guelli (Cid Augusto) 1919- Gelson Iezzi 1939-; Osvaldo Dolce 1938-São Paulo Moderna s.dLocalização: CDCC - Cent. Div. Científica e Cultural (510.07 G934c ) e outros locais(Acessar) |