skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Lógica Matemática (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic Colloquium 2006
Logic Colloquium 2006
Logic Colloquium 2006
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium 2006

Logic Colloquium S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko Väänänen Anand Pillay Herman Geuvers Jouko Väänänen; Association for Symbolic Logic.

Cambridge University Press 2009

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

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

Logic Colloquium 1992

Logic Colloquium '92 (1992 : Veszprém, Hungary) László Csirmaz; Dov M Gabbay 1945-; Maarten de Rijke; Center for the Study of Language and Information (U.S.); European Foundation for Logic, Language, and Information

Stanford, Calif CSLI FoLLI 1995

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 L832L )(Acessar)

3
Analysis and logic
Analysis and logic
Analysis and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Analysis and logic

C.Ward Henson José Iovino Alexander S. Kechris Catherine Finet Christian Michaux Edward Odell; Catherine Finet José Iovino; Christian Michaux; Alexander S Kechris; Edward Odell

Cambridge Cambridge University Press 2002

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

4
Logic from computer science proceedings of a workshop held November 13-17, 1989
Logic from computer science proceedings of a workshop held November 13-17, 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic from computer science proceedings of a workshop held November 13-17, 1989

Yiannis N Moschovakis

New York Springer-Verlag c1992

Localização: IME - Inst. Matemática e Estatística    (QA11.7.C M896L )(Acessar)

5
Advances in logic the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Advances in logic the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in logic the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

North Texas Logic Conference (2004 University of North Texas) Su Gao 1968-; Steve Jackson 1957-; Yi Zhang 1964 Aug. 22-

Providence, R.I. American Mathematical Society c2007

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 A244 ) e outros locais(Acessar)

6
Mathematical logic and algebra collected papers dedicated to the 100th birthday of academician Petr Sergeevich Novikov
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical logic and algebra collected papers dedicated to the 100th birthday of academician Petr Sergeevich Novikov

P. S Novikov (Petr Sergeevich)

Moscow Maik Nauka/Interperiodica c2003

Localização: IME - Inst. Matemática e Estatística    (S P963 v.242 )(Acessar)

7
Models, algebras, and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Models, algebras, and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Material Type:
Livro 		Adicionar ao Meu Espaço

Models, algebras, and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Latin-American Symposium on Mathematical Logic (10th : 1996 : Bogotá, Colombia) Xavier Caicedo 1944-; Carlos H. Montenegro 1958-

New York Marcel Dekker c1999

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

8
Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008 : proceedings
Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008 : proceedings

Conference on Computability in Europe (4th 2008 Athens, Greece) Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe

Berlin Springer 2008

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar
  1. Antes de1995  (1)
  2. 1995Até1998  (1)
  3. 1999Até2001  (1)
  4. 2002Até2003  (2)
  5. Após 2003  (3)
  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.