Pular para o conteúdo
Ciências Exatas

First-Order Logic

176 páginasDover 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

Sinopse

Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.

Detalhes do livro

Título
First-Order Logic
Autor
Raymond Smullyan
Editora
Dover Publications
Ano
2026
Páginas
176 páginas
Idioma
PT
ISBN-13
9780486683706
Formato
Paperback

Mais de Raymond

Outros livros de Raymond Smullyan

Ciências Exatas

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras