Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Iniciação a lógica matemáticaEdgard de Alencar Filho 1913-São Paulo Nobel 1984Localização: EEL - Biotecnologia e Química (517.11 A125e 15ed. ex.5 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Introdução a lógica matemáticaBenedito Castrucci 1909-1995 G.E.E.MSão Paulo Nobel 1973Localização: ICMC - Inst. Ciên. Mat. Computação (03-01 C355i e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
The Syntax and Semantics of Infinitary LanguagesJon BarwiseSpringer Berlin Heidelberg 1968Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Simbolizacao no calculo de predicados 650 problemasLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo EPU EDUSP c1976Localização: CDCC - Cent. Div. Científica e Cultural (511.3 H462s ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Elementos de lógica teóricaDavid Hilbert 1862-1943 Víctor Sánchez de Zavala; W Ackermann 1896- (Wilhelm)Madrid Ed. Tecnos 1962Localização: ICMC - Inst. Ciên. Mat. Computação (03B01 H641e ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Deducao no calculo de predicadosLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo EPU EDUSP c1978Localização: CDCC - Cent. Div. Científica e Cultural (511.3 H462d ) e outros locais(Acessar) |
|
7 |
Material Type: Revista
|
Archive for Mathematical LogicGERMANY HybridAcesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Revista
|
FUNDAMENTA MATHEMATICAEPOLAND Instytut Matematyczny PANAcesso online. A biblioteca também possui exemplares impressos. |
|
9 |
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) |
|
10 |
Material Type: Livro
|
Lógica o cálculo de predicadosLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo Herder Edusp 1973Localização: EE - Escola de Enfermagem (164 H462lo ) e outros locais(Acessar) |