skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proof and Computation
Proof and Computation
Proof and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof and Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1995

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

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

Computational Logic

Ulrich Berger Helmut Schwichtenberg

Springer Berlin Heidelberg 1999

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

3
Basic proof theory
Basic proof theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Basic proof theory

A. S. Troelstra (Anne Sjerp) Helmut Schwichtenberg 1942-

Cambridge Cambridge University Press New York 1996

Localização: IME - Inst. Matemática e Estatística    (QA10.1 T843b )(Acessar)

4
Basic proof theory
Basic proof theory
Basic proof theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Basic proof theory

Anne Sjerp Troelstra H Schwichtenberg; Helmut Schwichtenberg; A. S Troelstra; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 2000

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

5
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic (14th 2000 Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; European Association for Computer Science Logic Conference Fischbachau, Germany) 2000

Berlin Springer New York c2000

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (3)

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

Buscando em bases de dados remotas. Favor aguardar.