1
|
Material Type: Livro
|
|
Logic and foundations of mathematics dedicated to prof.arend heyting on his 70th birthday
D. van Dalen J. G Dijkman; S. C Kleene
Groningen Wolters 1968
Localização:
IME - Inst. Matemática e Estatística
(QA9.C3 L832 )(Acessar)
|
2
|
Material Type: Livro
|
|
Introduction to metamathematics
Stephen Cole Kleene 1909-
Groningen Wolters-Noordhoff Pub 1971
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(510.6 K672i e.2 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Introduction to metamathematics
Stephen Cole Kleene 1909-1994
Amsterdam North-Holland Groningen P. Noordhoff N.V. 1952
Localização:
ESALQ - Biblioteca Central
(510 13355 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Introduction to metamathematics
Stephen Cole Kleene 1909-1994
Princeton Van Nostrand 1952
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(510.01 K63i ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Introduction to metamathematics
Stephen Cole Kleene 1909-1994
Princeton, N.J. Van Nostrand 1967, Ã1950
Localização:
IME - Inst. Matemática e Estatística
(QA9 K63i 1967 )(Acessar)
|
6
|
Material Type: Livro
|
|
Foundations of intuitionistic mathematics
Stephen Cole Kleene Richard Eugene Vesley
Amsterdam North-Holland 1965
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(510.6 K672f ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Two papers on the predicate calculus
Stephen Cole Kleene 1909-
Providence, R.I. 1952
Localização:
ICMC - Inst. Ciên. Mat. Computação
(00-02 Mem v.10 ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
Introduction to metamathematics
Stephen C. Kleene
Amsterdam u.a. North-Holland Publ. Co. 1967
Localização:
IME - Inst. Matemática e Estatística
(QA9 K63i1 1967 )(Acessar)
|
9
|
Material Type: Livro
|
|
Logique mathematique
Stephen Cole Kleene 1909-
Paris Colin 1971
Localização:
FFCLRP - Fac. Fil. Ciên. Let. de R. Preto
(510.22 K63L 200 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Logique mathématique
Stephen Cole Kleene 1909-1994 Jean Largeault trad
Paris Jacques Gabay 1987
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
ACERVO DELFIM NETTO
(A41.20.1 )(Acessar)
|