skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
Search in:
Selecione a lista para navegar
Search For:
Clear Search Box
Search in:
Por título
Por assunto
Por autor
Browse vid input
Busca Simples
This feature requires javascript
Proof, logic, and formalization
Michael Detlefsen 1948-
London Routledge New York 1992
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(511.3 P965 )
e outros locais
(Acessar)
This feature requires javascript
Localização & Reservas
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
Prateleira Virtual
This feature requires javascript
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
Título:
Proof, logic, and formalization
Autor:
Michael Detlefsen 1948-
Assuntos:
Proof theory
;
Logic, Symbolic and mathematical
;
MATEMÁTICA
;
Mathematics
;
Mathematical logic
;
COLETÂNEA
Notas:
Includes bibliographical references and index
Editor:
London Routledge New York
Data de criação/publicação:
1992
Formato:
x, 241 p. ill. 23 cm.
Idioma:
Inglês
Links
Este item no Dedalus
This feature requires javascript
This feature requires javascript
Voltar para lista de resultados
Anterior
Resultado
6
Avançar
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento
This feature requires javascript
This feature requires javascript
Anterior
Página Inicial
RSS
Feed
Políticas
Fale Conosco
Logos de Redes Sociais: 
Logos de Redes Sociais: