skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
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
Advances in Linear Logic
Advances in Linear Logic
Advances in Linear Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Linear Logic

Jean-Yves Lafont, Yves Regnier, Laurent Girard J Coates; Jean-Yves Girard; Yves Lafont; Laurent Regnier Laurent Regnier Yves Lafont; N. J Hitchin

Cambridge Cambridge University Press 1995

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

3
Logic of Computation
Logic of Computation
Logic of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

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

4
Logic Colloquium symposium on logic held at Boston, 1972-73
Logic Colloquium symposium on logic held at Boston, 1972-73
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium symposium on logic held at Boston, 1972-73

Rohit Parikh 1936-; Logic Colloquium (1972-1973 Boston)

Berlin Springer-Verlag New York 1975

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 LNM v.453 ) e outros locais(Acessar)

5
Logic Colloquium '86 proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
Logic Colloquium '86 proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium '86 proceedings of the colloquium held in Hull, U.K. July 13-19, 1986

Logic Colloquium (1986 Hull, Humberside) F. R Drake (Frank Robert); J K Truss

Amsterdam North-Holland New York c1988

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

6
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

Logic Colloquium (1976 : Oxford, GB) Robin O Gandy; John Martin Elliott Hyland

Amsterdam North-Holland Publishing Company 1977

Item não circula. Consulte sua biblioteca.(Acessar)

7
Cambridge Summer School in Mathematical Logic [papers]
Cambridge Summer School in Mathematical Logic [papers]
Material Type:
Livro 		Adicionar ao Meu Espaço

Cambridge Summer School in Mathematical Logic [papers]

Summer School in Mathematical Logic (1971 : Cambridge, UK) A. R. D Mathias (Adrian Richard David) 1944-; H Rogers (Hartley) 1926-

Berlin New York Springer-Verlag 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.337 ex.1 ) e outros locais(Acessar)

8
Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia (1979 : Hakone-machi, Japan) G. H Müller 1923- (Gert Heinz); Gaisi Takeuti 1926-; T Tugué 1926- (Tosiyuki); Logic Symposia (1980 : Hakone-machi, Japan)

Berlin Springer-Verlag 1981

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.891 e.1 ) e outros locais(Acessar)

9
Conference in Mathematical Logic, London '70 held at Bedford College, London, on 24th-28th August 1970
Conference in Mathematical Logic, London '70 held at Bedford College, London, on 24th-28th August 1970
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference in Mathematical Logic, London '70 held at Bedford College, London, on 24th-28th August 1970

Conference in Mathematical Logic (1970 : London, Bedford College) Wilfrid Hodges 1941-

Berlin Springer-Verlag 1972

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 LNM v.255 e.1 ) e outros locais(Acessar)

10
The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) Maria Luisa Dalla Chiara 1938-; Kees Doets; Daniele Mundici; Johan Van Benthem

Dordrecht Kluwer Academic Publishers Boston, Mass. c1997

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (501 S993 v.259 e.2 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Data de Publicação 

De até
Refinar
  1. Antes de1975  (14)
  2. 1975Até1984  (15)
  3. 1985Até1992  (15)
  4. 1993Até2002  (38)
  5. Após 2002  (36)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (111)
  2. Francês  (6)
  3. Alemão  (3)
  4. Russo  (1)
  5. Italiano  (1)
  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.