Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Revista
|
History and Philosophy of LogicENGLAND Taylor & FrancisAcesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Revista
|
Notre Dame Journal of formal LogicNotre Dame, Ind. Duke University Press; Project EuclidAcesso online. A biblioteca também possui exemplares impressos. |
|
3 |
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) |
|
4 |
Material Type: Revista
|
Archive for Mathematical LogicGERMANY HybridAcesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Revista
|
FUNDAMENTA MATHEMATICAEPOLAND Instytut Matematyczny PANAcesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Nouvelles recherches sur la structure dialectique des mathématiquesAlbert Lautman 1908-1944Paris Hermann & cie 1939Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B3.16.2 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
O que é ciência/ O que é lógica/ O que é matemáticaCarlos LungarzoSão Paulo Círculo do Livro 1995Localização: CDCC - Cent. Div. Científica e Cultural (000 Col691 v.20 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Lógica elementarBenson Mates Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012; Octanny Silveira da MotaSão Paulo Nacional EDUSP 1968Localização: CQ - Conjunto das Químicas (001.4 M425L ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Lógica combinatóriaHaskell B. Curry 1900- (Haskell Brooks)Madrid Editorial Tecnos c1967Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A30.34.14 ) e outros locais(Acessar) |
|
10 |
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) |