skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
100% mathematical proof
100% mathematical proof
Material Type:
Livro 		Adicionar ao Meu Espaço

100% mathematical proof

Rowan Garnier John Taylor 1957-

Chichester Wiley New York c1996

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 G189o )(Acessar)

2
Admissibility of Logical Inference Rules
Admissibility of Logical Inference Rules
Admissibility of Logical Inference Rules
Material Type:
Livro 		Adicionar ao Meu Espaço

Admissibility of Logical Inference Rules

Vladimir V. Rybakov

Elsevier 1997

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

3
Advanced logic for applications
Advanced logic for applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced logic for applications

Richard E Grandy

Dordrecht, Holland Boston D. Reidel Pub. Co c1979

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

4
Advanced lukasiewicz calculus and MV-algebras
Advanced lukasiewicz calculus and MV-algebras
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced lukasiewicz calculus and MV-algebras

Daniele Mundici 1946-

Dordrecht Springer New York c2011

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

5
Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil) Walter A Carnielli (Walter Alexandre); Itala M. L D'Ottaviano 1944-

Providence, RI American Mathematical Society 1999

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

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

7
The adventure of reason interplay between philosophy of mathematics and mathematical logic 1900-1940
The adventure of reason interplay between philosophy of mathematics and mathematical logic 1900-1940
Material Type:
Livro 		Adicionar ao Meu Espaço

The adventure of reason interplay between philosophy of mathematics and mathematical logic 1900-1940

Paolo Mancosu

Oxford Oxford University Press New York 2010

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

8
The Age of alternative logics assessing philosophy of logic and mathematics today
The Age of alternative logics assessing philosophy of logic and mathematics today
Material Type:
Livro 		Adicionar ao Meu Espaço

The Age of alternative logics assessing philosophy of logic and mathematics today

J. F. A. K. van Benthem 1949-

Dordecht Springer c2009

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

9
Alan Turing : his work and impact
Alan Turing : his work and impact
Alan Turing : his work and impact
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing : his work and impact

S. Barry Cooper S. Barry Cooper; Jan Leeuwen; Alan Mathison Turing; J van Leeuwen J. van Leeuwen

Elsevier 2013

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

10
Alan Turing's systems of logic the Princeton thesis
Alan Turing's systems of logic the Princeton thesis
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing's systems of logic the Princeton thesis

Alan Mathison Turing 1912-1954 Andrew W Appel 1960-; Solomon Feferman

Princeton Princeton University Press Woodstock 2012

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (B26.19.1 ) 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 (466)
  2. Recursos Online (36)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (474)
  2. Produções Acadêmicas  (1)
  3. Revistas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1959  (51)
  2. 1959Até1972  (141)
  3. 1973Até1986  (81)
  4. 1987Até2001  (115)
  5. Após 2001  (95)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (402)
  2. Francês  (40)
  3. Alemão  (20)
  4. Espanhol  (12)
  5. Português  (8)
  6. Italiano  (6)
  7. Norueguês  (1)
  8. Russo  (1)
  9. Romeno  (1)
  10. Latim  (1)
  11. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.