Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Generalized probabilistic satisfiabilityGlauber De Bona 1984- Fabio Gagliardi Cozman 1967-; Marcelo Finger; Brazilian Conference on Intelligent Systems - BRACIS (2013 Fortaleza, CE)Proceeding Piscataway : IEEE, 2013Piscataway IEEE 2013Localização: IME - Inst. Matemática e Estatística (PROD-3009309 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
The languages of logic an introduction to formal logicSamuel GuttenplanOxford Blackwell 1997Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 G985L 2.ed. )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Formal logic or the calculus of inference, necessary and probableAugustus De MorganEstados Unidos Elibron Classics 2005Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 D386f )(Acessar) |
4 |
Material Type: Livro
|
![]() |
logic of real argumentsAlec FisherCambridge University Press 2004Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Tese de Doutorado
|
![]() |
On pre-complete systems of modal functionsFalcão, Pedro Alonso AmaralBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2017-09-22Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
A preface to logicMorris Raphael Cohen 1880-1947New York Dover 1977Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 C678p )(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Satisfiability in EL with sets of probabilistic ABoxesMarcelo Finger Renata Wassermann; Fabio Gagliardi Cozman 1967-; International Workshop on Description Logics - DL (24. 2011 Barcelona, Spain)CEUR Workshop Proceedings Aachen v. 745, p. 1-11, 2011Aachen 2011Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Formal logic its scope and limitsRichard C. JeffreyNew York McGraw-Hill 1990Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 J46f 3.ed. )(Acessar) |
9 |
Material Type: Livro
|
![]() |
An introduction to Formal LogicPeter SmithCambridge Cambridge Univ. Press 2009Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 S656in )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Spandrels of truthJeffrey C. Beall 1966-New York Clarendon Press 2010Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (165 B366s )(Acessar) |