skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: autor: Dalen, D remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The L. E. J. Brouwer centenary symposium proceedings
The L. E. J. Brouwer centenary symposium proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

The L. E. J. Brouwer centenary symposium proceedings

Symposium on Brouwer Centenary (1981 : Noordwijkerhout, NE) A. S Troelstra (Anne Sjerp); D. van Dalen (Dirk) 1932-; L. E. J Brouwer (Luitzen Egbertus Jan), 1881-1966

Amsterdam North-Holland 1982

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA9.84.C T843L e.2 )(Acessar)

2
Logic and structure
Logic and structure
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and structure

D. van Dalen (Dirk) 1932-

Berlin Springer 1994

Localização: IME - Inst. Matemática e Estatística    (QA9.1 D139l 3.ed. )(Acessar)

3
Brouwer's cambridge lecture on intuitionism
Brouwer's cambridge lecture on intuitionism
Material Type:
Livro 		Adicionar ao Meu Espaço

Brouwer's cambridge lecture on intuitionism

D. van Dalen (Dirk) 1932-

Cambridge Cambridge University Press 1981

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 V224b e.1 )(Acessar)

4
Logic and Structure
Logic and Structure
Logic and Structure
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and Structure

Dirk van Dalen

Springer Berlin Heidelberg 2004

Acesso online. A biblioteca também possui exemplares impressos.

5
Logic and foundations of mathematics dedicated to prof.arend heyting on his 70th birthday
Logic and foundations of mathematics dedicated to prof.arend heyting on his 70th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and foundations of mathematics dedicated to prof.arend heyting on his 70th birthday

D. van Dalen (Dirk) 1932- J. G Dijkman; Stephen Cole Kleene 1909-1994

Groningen Wolters 1968

Localização: IME - Inst. Matemática e Estatística    (QA9.C3 L832 )(Acessar)

6
Brouwer's Cambridge lectures on intuitionism
Brouwer's Cambridge lectures on intuitionism
Material Type:
Livro 		Adicionar ao Meu Espaço

Brouwer's Cambridge lectures on intuitionism

L. E. J. Brouwer (Luitzen Egbertus Jan), 1881-1966 D. van Dalen (Dirk), 1932-

Cambridge Cambridge University Press 1981

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA9.84 B876b e.2 )(Acessar)

7
Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic
Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic

Dusko Pavlovic D. van Dalen (Dirk) 1932-; Ieke Moerdijk

1990

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA9.T P338p e.1 )(Acessar)

8
Logic and structure
Logic and structure
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and structure

D. van Dalen (Dirk) 1932-

Berlin New York Springer-Verlag 1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 D139ls e.1 ) e outros locais(Acessar)

9
Logic and structure
Logic and structure
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and structure

D. van Dalen (Dirk) 1932-

Berlin New York Springer-Verlag c1983

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 D139ls.2 e.1 ) e outros locais(Acessar)

10
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands) D. van Dalen (Dirk) 1932-; M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1258 ) e outros locais(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (12)
  2. Produções Acadêmicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (2)
  2. 1980Até1981  (3)
  3. 1982Até1987  (3)
  4. 1988Até1994  (3)
  5. Após 1994  (2)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.