1
|
Material Type: Livro
|
|
Mechanism, mentalism, and metamathematics an essay on finitism
Judson Chambers Webb 1936-
Dordrecht Boston D. Reidel c1980
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(501 S993 v.137 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Enumerability, decidability, computability an introduction to the theory of recursive functions
Hans Hermes 1912-
Berlin New York Springer-Verlag 1965
Localização:
IME - Inst. Matemática e Estatística
(QA10.3 H553aI ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Il teorema e il corollario di Gödel indagine critica
Francesca Rivetti Barbò
Milano Società Editrice Vita e Pensiero 1964
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
ACERVO DELFIM NETTO
(B7.19.6 )(Acessar)
|
4
|
Material Type: Livro
|
|
Godel's proof
Ernest Nagel 1901-1985 James Roy Newman 1907-1966
New York New York University Press c1986
Item não circula. Consulte sua biblioteca.(Acessar)
|
5
|
Material Type: Livro
|
|
Gödel's proof
Ernest Nagel 1901-1985 James Roy Newman 1907-1966; Douglas R Hofstadter 1945-
New York New York University Press 2001
Localização:
EPBC - Esc. Politécnica-Bib Central
(510.6 N131g Ed.rev. )(Acessar)
|
6
|
Material Type: Livro
|
|
Godel's proof
Ernest Nagel 1901-1985 James Roy Newman 1907-1966
New York New York University Press 1958
Localização:
IME - Inst. Matemática e Estatística
(QA10.1 N147g )(Acessar)
|
7
|
Material Type: Livro
|
|
On formally undecidable propositions of Principia mathematica and related systems
Kurt Gödel 1906-1978 Bernard Meltzer; F. B. A Braithwaite
Edinburgh Oliver & Boyd 1962
Localização:
IME - Inst. Matemática e Estatística
(QA10.5 G581uI e.2 )(Acessar)
|
8
|
Material Type: Livro
|
|
Godel's theorem simplified
Harry J. Gensler 1945-
Lanham, MD University Press of America c1984
Localização:
IME - Inst. Matemática e Estatística
(QA10.7 G336g )(Acessar)
|
9
|
Material Type: Livro
|
|
Gödel's incompleteness theorems
Raymond M. Smullyan
New York Oxford University Press 1992
Localização:
EPBC - Esc. Politécnica-Bib Central
(510.6 Sm85g ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Lady or the tiger? and other logic puzzles including a mathematical novel that features Gödel's great discovery
Raymond Merrill Smullyan 1919-2017
Oxford Oxford University Press 1991
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
ACERVO DELFIM NETTO
(A18.18.37 )(Acessar)
|