Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Sur les algèbres de HilbertAntonio Diego Luisa IturriozParis Gauthier Villars 1966Localização: IME - Inst. Matemática e Estatística (QA11.3 D559sF e.2 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Introduction to mathematical logicElliott MendelsonPrinceton, N.J. Van Nostrand 1966Localização: ICMC - Inst. Ciên. Mat. Computação (03-01 M537i e.2 ) e outros locais(Acessar) |
|
3 |
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) |
|
4 |
Material Type: Livro
|
Mathematical LogicWillard Van Orman Quine Willard QUINEHarvard University Press 1981Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
An introduction to symbolic logicSusanne K. Langer (Susanne Katherina Knauth) 1895-1985New York Dover Publications 1967Localização: EPBC - Esc. Politécnica-Bib Central (510.6 L239i3 ) e outros locais(Acessar) |
|
6 |
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) |
|
7 |
Material Type: Livro
|
Logique, sémantique, métamathématique, 1923-1944Alfred TarskiParis A. Colin 1972-Localização: FE - Faculdade de Educação (164 T193L v.2 ) e outros locais(Acessar) |
|
8 |
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) |
|
9 |
Material Type: Livro
|
Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifsJean PorteParis Gauthier-Villars 1965Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (164 P843 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
A profile of mathematical logicHoward DeLong 1936-Reading, Mass. Addison-Wesley 1971, c1970Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B17.25.9 ) e outros locais(Acessar) |