1
|
Material Type: Livro
|
|
Mathematical logic
W. V. Quine (Willard Van Orman) 1908-2000
Cambridge Harvard University Press 1958, 1940
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(517.11 Q7m rev. 1958 )(Acessar)
|
2
|
Material Type: Livro
|
|
Lógica para computação
Flávio Soares Corrêa da Silva Marcelo Finger; Ana Cristina Vieira de Melo
São Paulo Cengage Learning 2010 [2006
Localização:
IME - Inst. Matemática e Estatística
(QA816 S586L 2010 e.12 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Lógica simbólica
Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012
São Paulo Herder 1966
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(160 H462L e.2 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Filosofia e método no segundo Wittgenstein uma luta contra o enfeitiçamento do nosso entendimento
Werner Spaniol
São Paulo Loyola 1989
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(193 S735f ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Mathematics and plausible reasoning
George Pólya 1887-1985
Princeton, N.J. Princeton University Press 1990
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(510.1 P781m v.2 )(Acessar)
|
6
|
Material Type: Livro
|
|
Dynamic formal epistemology
Patrick Girard Professor; Olivier Roy; Mathieu Marion 1962-
Dordrecht New York Springer c2011
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(121 D997 ) e outros locais(Acessar)
|