Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Subsystems of Second Order ArithmeticStephen George Simpson Association for Symbolic Logic.Cambridge University Press 2009Acesso online. A biblioteca também possui exemplares impressos. |
2 |
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. |
3 |
Material Type: Livro
|
![]() |
Collected worksKurt Gödel 1906-1978 Solomon Feferman; Association for Symbolic LogicOxford Oxford University Press New York 2001Localização: EPBC - Esc. Politécnica-Bib Central (510.6 G542c v.2 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
The theory of models proceedingsInternational Symposium on the Theory of Models (1963 : Berkeley, California) J. W Addison (John West) 1930-; Leon Henkin; Alfred Tarski; University of California, Berkeley; Association for Symbolic Logic; International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of ScienceAmsterdam North-Holland Publishing Company 1965Localização: ICMC - Inst. Ciên. Mat. Computação (03-01 T393 e.2 ) e outros locais(Acessar) |