Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Revista
|
![]() |
FUNDAMENTA MATHEMATICAEPOLAND Instytut Matematyczny PANAcesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Introduction to symbolic logic and its applicationsRudolf Carnap (Paul Rudolf), 1891-1970 W H Meyer; J WilkinsonNew York Dover Publications 1958Localização: ICMC - Inst. Ciên. Mat. Computação (03-02 C288i e.2 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Elements of mathematic logicP C RosenbloomNew York Dover 1950Localização: IF - Instituto de Física (511.3 R813e )(Acessar) |
4 |
Material Type: Livro
|
![]() |
The two-valued iterative systems of mathematical logicEmil Leon Post 1897-Princeton London Princeton University Press H. Milford, Oxford university Press 1941Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 P857t ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Foundations of mathematicsFrank Plumton RamseyLondres Routledge & Kegan Paul 1954Localização: ICMC - Inst. Ciên. Mat. Computação (03-02 R183f e.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Introduction to logic and to the methodologi of deductive sciencesAlfred TarskiNew York Oxford 1941Localização: ICMC - Inst. Ciên. Mat. Computação (03B01 T193i e.2 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Logical syntax of languageRudolf Carnap (Paul Rudolf), 1891-1970Londres Kegan 1954Localização: ICMC - Inst. Ciên. Mat. Computação (03B01 C288l e.1 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Elementary topics in mathematical logic ..Alonzo Church 1903-Brooklyn, N.Y 1934Localização: ICMC - Inst. Ciên. Mat. Computação (03-01 C561e e.1 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Introduction to logic and to the methodology of deductive sciencesAlfred TarskiNew York Oxford University Press 1949Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A41.18.21 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Logic for mathematiciansJ. Barkley Rosser 1907- (John Barkley)New York McGraw-Hill 1953Localização: ESALQ - Biblioteca Central (510 13452 ) e outros locais(Acessar) |