Pular para o conteúdo
Informática

Automated Reasoning In Higher-Order Logic - Set Comprehension And Extensionality In Church'S Type

1ª Edição - 2007564 páginasCollege Publicationspt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Planeje no seu ritmo

Quanto tempo leva para ler Automated Reasoning In Higher-Order Logic - Set Comprehension And Extensionality In Church'S Type?

Esta edição tem 564 páginas. Escolha uma meta diária possível e ajuste o plano conforme a leitura avançar.

Ritmo tranquilo

57 dias

10 páginas por dia

Ritmo constante

29 dias

20 páginas por dia

Ritmo intenso

19 dias

30 páginas por dia

Detalhes do livro

Título
Automated Reasoning In Higher-Order Logic - Set Comprehension And Extensionality In Church'S Type
Autor
Chad e. Brown
Editora
College Publications
Ano
2007
Páginas
564 páginas
Idioma
PT
ISBN-13
9781904987574
Edição
1ª Edição - 2007
Formato
Paperback

Informática

Livros na mesma categoria

Sua vida de leitura

A leitura de Automated Reasoning In Higher-Order Logic - Set Comprehension And Extensionality In Church'S Type pode continuar na Lireo

A Lireo é uma plataforma para organizar sua estante, registrar páginas e impressões, publicar resenhas e encontrar pessoas que estão lendo os mesmos livros.

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras