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
|
Kotarbiński: Logic, Semantics and OntologyJan T. J. Woleínski, Jan Srzednicki Jan WoleínskiSpringer Netherlands 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Augustus de Morgan and the logic of relationsDaniel D. MerrillDordrecht Kluwer Academic Press 1990Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160.92 M847m )(Acessar) |
|
4 |
Material Type: Livro
|
Theory of science attempt at a detailed and in the main novel exposition of logic with constant attention to earlier authorsBernard Bolzano 1781-1848 Rolf George edBerkeley and Los Angeles University of California Press 1972Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A35.10.27 )(Acessar) |
|
5 |
Material Type: Livro
|
Foundation of the Formal Sciences II applications of mathematical logic in philosophy and linguistics, papers of a Conference held in Bonn, november 10-13, 2000Foundations of the Formal Sciences II (2000 Bonn) Benedikt Löwe; Wolfgang Malzkom; Thoralf RäschDordrecht Kluwer Academic 2003Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 F771f )(Acessar) |
|
6 |
Material Type: Livro
|
El Cálculo infinitesimal origen, polémicaGottfried Wilhelm Leibniz 1646-1716 Freiherr von Isaac Newton Sir 1642-1727Buenos Aires EUDEBA 1977Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A34.4.38 )(Acessar) |
|
7 |
Material Type: Livro
|
A Mathematical Introduction to LogicEnderton, Herbert ; Enderton, Herbert BSan Diego: Elsevier Science & Technology 2001Texto completo disponível |
|
8 |
Material Type: Tese
|
On Logics and Semantics for InterpretabilityMikec, LukaUniversitat de Barcelona 2021Texto completo disponível |
|
9 |
Material Type: Livro
|
Introduction to Mathematical LogicMendelson, ElliottBoston, MA: Springer 1987Texto completo disponível |
|
10 |
Material Type: Livro
|
Logic for ApplicationsNerode, Anil ; Shore, Richard ANew York, NY: Springer 1997Texto completo disponível |