skip to main content
Idioma:
Você quis dizer: braz m?
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Methods of Cut-Elimination
Methods of Cut-Elimination
Methods of Cut-Elimination
Material Type:
Livro 		Adicionar ao Meu Espaço

Methods of Cut-Elimination

Matthias Baaz Alexander Leitsch

Springer Netherlands 2011

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

2
The paternalism of partnership a postcolonial reading of identity in development aid
The paternalism of partnership a postcolonial reading of identity in development aid
Material Type:
Livro 		Adicionar ao Meu Espaço

The paternalism of partnership a postcolonial reading of identity in development aid

Maria Eriksson Baaz

New York Zed Books c2005

Localização: FAU - Fac. Arquitetura e Urbanismo    (338.91 B112p )(Acessar)

3
Kurt G odel and the foundations of mathematics horizons of truth
Kurt G odel and the foundations of mathematics horizons of truth
Material Type:
Livro 		Adicionar ao Meu Espaço

Kurt G odel and the foundations of mathematics horizons of truth

Matthias Baaz

Cambridge Cambridge University Press New York 2011

Emprestado de IME - Inst. Matemática e Estatística    (QA9.C3 B111k )(Acessar)

4
Logic Colloquium '01 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
Logic Colloquium '01 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium '01 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium (2001 Vienna, Austria) Matthias Baaz; Sy D Friedman 1953; Jan Kraj i cek

Wellesley, Mass A.K. Peters c2005

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

5
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings

Matthias Baaz; Johann A Makowsky 1948-; European Association for Computer Science Logic Conference Vienna University of Technology) 2003; Workshop on Computer Science Logic (17th 2003 Vienna University of Technology); Kurt Gödel Colloquium (8th 2003 Vienna University of Technology)

Berlin Springer New York c2003

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (4)
  2. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.