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
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Methods and applications of mathematical logic proceedings
Methods and applications of mathematical logic proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Methods and applications of mathematical logic proceedings

Latin-American Symposium on Mathematical Logic, 7., Campinas, 1985 Luiz Paulo de Alcantara; Walter Alexandre Carnielli

Providence Ams 1988

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

2
Methods in mathematical logic proceedings
Methods in mathematical logic proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Methods in mathematical logic proceedings

Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezuela) Carlos Augusto Di Prisco

Berlin Springer 1985

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

3
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)

4
Mathematical logic in latin america proceedings
Mathematical logic in latin america proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical logic in latin america proceedings

Latin-American Symposium on Mathematical Logic (4. 1978 Santiago) Ayda I Arruda; Newton Carneiro Affonso da Costa 1929-; Chuaqui, R

Amsterdam North-Holland 1980

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

5
Non-classical logics, model theory and computability proceedings
Non-classical logics, model theory and computability proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Non-classical logics, model theory and computability proceedings

Latin-American Symposium on Mathematical Logic (3. 1976 Campinas) Ayda I Arruda; Newton Carneiro Affonso da Costa 1929-

Amsterdam North-Holland 1977

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

6
Annals of the CLE 30 years [of the] XV Brazilian Logic Conference, XIV Latin-American Symposium on Mathematical Logic, [held in] Paraty, Brazil, may 11-17, 2008
Annals of the CLE 30 years [of the] XV Brazilian Logic Conference, XIV Latin-American Symposium on Mathematical Logic, [held in] Paraty, Brazil, may 11-17, 2008
Material Type:
Livro 		Adicionar ao Meu Espaço

Annals of the CLE 30 years [of the] XV Brazilian Logic Conference, XIV Latin-American Symposium on Mathematical Logic, [held in] Paraty, Brazil, may 11-17, 2008

Walter A Carnielli (Walter Alexandre); Itala M. L D'Ottaviano 1944-; Marcelo Esteban Coniglio; Brazilian Logic Conference (15th 2008 Paraty, RJ, BR); Latin-American Symposium on Mathematical Logic (14th 2008 Paraty, RJ, BR)

Campinas Centro de Lógica, Epistemologia e História da Ciéncia Unicamp 2008

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

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

Buscando em bases de dados remotas. Favor aguardar.