1
|
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)
|
2
|
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)
|
3
|
Material Type: Livro
|
|
Das Kontinuum kritische untersuchungen über die grundlagen der analysis
Hermann Weyl 1885-1955
Leipzig Veit & comp 1918
Localização:
IME - Inst. Matemática e Estatística
COLEÇÃO OBRAS ESPECIAIS
(OB/ESP QA8 W548k )(Acessar)
|
4
|
Material Type: Livro
|
|
Das Kontinuum kritische untersuchungen über die grundlagen der analysis
Hermann Weyl 1885-1955
Berlin Walter de Gruyter 1932
Localização:
IME - Inst. Matemática e Estatística
(OB/ESP QA8 W548k 1932 )(Acessar)
|
5
|
Material Type: Livro
|
|
Grundlagen der Mathematik
David Hilbert 1862-1943 Paul Bernays 1888-
Ann Arbor Edwards Brothers 1944
Localização:
IME - Inst. Matemática e Estatística
COLEÇÃO OBRAS ESPECIAIS
(OB/ESP QA8 H641g v.2 )(Acessar)
|
6
|
Material Type: Livro
|
|
Formale Logik
Joseph M. Bochenski (Joseph Maria) 1902-1995
Freiburg K. Alber 1956
Localização:
IME - Inst. Matemática e Estatística
(QA9.3 B664f )(Acessar)
|
7
|
Material Type: Livro
|
|
Methode der vollstandigen induktion
I. S. Sominskiæi (Il§ëiìa Samuilovich)
Berlin Dvw 1954
Localização:
IME - Inst. Matemática e Estatística
(QA9.1 S696mA )(Acessar)
|
8
|
Material Type: Livro
|
|
Grundzüge der theoretischen Logik
David Hilbert 1862-1943 W Ackermann (Wilhelm) 1896-
Berlin J. Springer 1928
Localização:
IME - Inst. Matemática e Estatística
COLEÇÃO OBRAS ESPECIAIS
(OB/ESP QA9.1 H641g )(Acessar)
|
9
|
Material Type: Livro
|
|
Grundzüge der theoretischen logik
David Hilbert 1862-1943 W Ackermann (Wilhelm) 1896-
Berlin Springer 1959
Localização:
IME - Inst. Matemática e Estatística
(QA9.1 H641g 4.ed. )(Acessar)
|
10
|
Material Type: Livro
|
|
Einleitung in die mengenlehre
Abraham Adolf Fraenkel 1891-1965
New York Dover Publications 1946
Localização:
ICMC - Inst. Ciên. Mat. Computação
(04-01 F799e e.1 ) e outros locais(Acessar)
|