1
|
Material Type: Livro
|
|
Lógica, simbolização e dedução
Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012
São Paulo Editora Pedagógica e Universitária 1975
Localização:
CQ - Conjunto das Químicas
(001.4 H462Lo ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Logic without metaphysics: and other essays in the philosophy of science
Ernest Nagel 1901-
Glencoe, IL : Free Press c1956
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
ACERVO DELFIM NETTO
(B17.35.12 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Knowing and guessing; a quantitative study of inference and information
Satoshi Watanabe 1910-
New York Wiley 1969
Localização:
IFSC - Inst. Física de São Carlos
(001.539 W324k ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Introduction á la logistique
Hans Reichenbach 1891-1953
Paris Hermann & cie 1939
Localização:
IF - Instituto de Física
(511.3 R351i ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Introduction to symbolic logic and its applications
Rudolf Carnap (Paul Rudolf), 1891-1970 W H Meyer; J Wilkinson
New York Dover Publications 1958
Localização:
ICMC - Inst. Ciên. Mat. Computação
(03-02 C288i e.2 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Logic machines and diagrams
Martin Gardner 1914-2010
New York McGraw-Hill 1958
Localização:
EPBC - Esc. Politécnica-Bib Central
(164 G175L ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Computability and logic
George Boolos (George Stephen), 1940-1996 Richard Carl Jeffrey 1926-2002
Cambridge England University Press 1974
Localização:
IME - Inst. Matemática e Estatística
(QA9 B724c ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
Formal logic
Arthur N. Prior
Oxford Clarendon Press 1955
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(160 P958f ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Combinatory logic
Haskell B. Curry 1900- (Haskell Brooks)
Amsterdam North-Holland Pub. Co. 1958-72
Localização:
IF - Instituto de Física
(511.3 C976c v.1 )(Acessar)
|
10
|
Material Type: Livro
|
|
Logic, semantics, metamathematics; papers from 1923 to 1938
Alfred Tarski J. H Woodger trad
Oxford Clarendon Press 1969
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(164 T193L ) e outros locais(Acessar)
|