Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
Material Type: Livro
|
Introdução à lógica simbólicaPaulo Roberto Margutti PintoBelo Horizonte Editora UFMG 2001Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 P659i )(Acessar) |
|
3 |
Material Type: Livro
|
Introdução à lógica simbólicaPaulo Roberto Margutti PintoBelo Horizonte Editora UFMG 2006Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (160 P659i )(Acessar) |
|
4 |
Material Type: Livro
|
A quadratura do circuloAlberto Sanmartins.l.p Autores Reunidos 1963Localização: IME - Inst. Matemática e Estatística (QA9.1 S227q )(Acessar) |
|
5 |
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) |
|
6 |
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) |
|
7 |
Material Type: Livro
|
Logics of ProgramsKozenSpringer Berlin Heidelberg 1982Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Logic Colloquium 2006Logic Colloquium S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko Väänänen Anand Pillay Herman Geuvers Jouko Väänänen; Association for Symbolic Logic.Cambridge University Press 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Introduction to Mathematical Structures and ProofsLarry J. GersteinDordrecht Springer New York 2012Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Mathematical LogicWillard Van Orman Quine Willard QUINEHarvard University Press 1981Acesso online. A biblioteca também possui exemplares impressos. |