11
|
Material Type: Livro
|
|
Geometrias no euclidianas
Roberto Bonola
Buenos Aires Espasa 1951
Localização:
ICMC - Inst. Ciên. Mat. Computação
(51-02 B719g e.1 )(Acessar)
|
12
|
Material Type: Livro
|
|
Methode der vollstandigen induction
I S Sominski
Berlin Deutscher Verlag der Wissenchaften 1954
Localização:
ICMC - Inst. Ciên. Mat. Computação
(2.66 S693m ex.1 )(Acessar)
|
13
|
Material Type: Livro
|
|
Logique et modalite
R Poirier
Paris Hermann 1952
Localização:
ICMC - Inst. Ciên. Mat. Computação
(A P753L )(Acessar)
|
14
|
Material Type: Livro
|
|
Foundations of mathematics
Frank Plumton Ramsey
Londres Routledge & Kegan Paul 1954
Localização:
ICMC - Inst. Ciên. Mat. Computação
(03-02 R183f e.1 )(Acessar)
|
15
|
Material Type: Livro
|
|
Truth and consequence in mediavel logic
Ernest A Moody
Amsterdam North Holland 1953
Localização:
ICMC - Inst. Ciên. Mat. Computação
(03-01 M817tc e.1 )(Acessar)
|
16
|
Material Type: Livro
|
|
Introduction to logic and to the methodologi of deductive sciences
Alfred Tarski
New York Oxford 1941
Localização:
ICMC - Inst. Ciên. Mat. Computação
(03B01 T193i e.2 )(Acessar)
|
17
|
Material Type: Livro
|
|
Logica matematica
C Burali
Milano Hoelpi 1919
Localização:
ICMC - Inst. Ciên. Mat. Computação
(03-01 B945l e.1 )(Acessar)
|
18
|
Material Type: Livro
|
|
Logica algebrica a automatismo
Theodore Oniga
Rio de Janeiro Instituto Nacional de Tecnologia 1954
Localização:
ICMC - Inst. Ciên. Mat. Computação
(03-01 O58l e.1 )(Acessar)
|
19
|
Material Type: Livro
|
|
Logica moderna
Jean Chavineau Andrade Infante
Lisboa Europa-America 1957
Localização:
FAU - Fac. Arquitetura e Urbanismo
(164 C398l )(Acessar)
|
20
|
Material Type: Livro
|
|
Logical syntax of language
Rudolf Carnap (Paul Rudolf), 1891-1970
Londres Kegan 1954
Localização:
ICMC - Inst. Ciên. Mat. Computação
(03B01 C288l e.1 )(Acessar)
|