1
|
Material Type: Livro
|
|
Methods of logic
Willard van Orman Quine
New York H Holt 1955
Localização:
IAG - Inst. Ast. Geo. Ciên. Atmosféricas
(160 Qui M ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Lógica elementar
Benson Mates Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012; Octanny Silveira da Mota
São Paulo Nacional EDUSP 1968
Localização:
CQ - Conjunto das Químicas
(001.4 M425L ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Lógica combinatória
Haskell B. Curry 1900- (Haskell Brooks)
Madrid Editorial Tecnos c1967
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
ACERVO DELFIM NETTO
(A30.34.14 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Dedução no cálculo sentencial
Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012 Lafayette de Moraes
São Paulo EPU 1977
Localização:
CQ - Conjunto das Químicas
(001.4 H462d ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Les fondements des mathématiques; intuitionnisme, théorie de la démonstration
A. Heyting 1898- (Arend)
Paris Gauthier-Villars 1955
Localização:
IF - Instituto de Física
(510.1 H621f ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Formal systems and recursive functions proceedings of the eighth logic colloquium, oxford, july 1963
Logic Symposium (8. 1963 Oxford) John N Crossley; Michael A E Dummett
Amsterdam North Holland 1965
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(164 C951f ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Vetores e geometria
Waldyr Muniz Oliva 1930- Instituto Nacional do Livro
São Paulo Brasília Edgard Blücher INL/MEC c1973
Localização:
IEE - Inst. de Energia e Ambiente
(516.182 O48v ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
An outline of mathematical logic fundamental results and notions explained with all details
Andrzej Grzegorczyk
Dordrecht, Holland Boston D. Reidel Pub. Co. 1974
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(501 S993 v.70 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Algebraic logic
Paul R. Halmos (Paul Richard), 1916-2006
New York Chelsea Pub. Co 1962
Localização:
IAG - Inst. Ast. Geo. Ciên. Atmosféricas
(51:1 Hal a ) e outros locais(Acessar)
|
10
|
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)
|