:quality(100))
imagem ilustrativa
Lógica de primeira ordem
Raymond M. Smullyan
Salvar edição
Compartilhar
- Editora: Editora Unesp
- Ano: 2009
- ISBN: 9788571395206
- A lógica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemática. Uma teoria de primeira ordem consiste em um conjunto de axiomas e de sentenças dedutíveis a partir deles. Este livro serve como introdução à Teoria da Quantificação e como uma exposição de nov
Descrição: Miolo em ótimo estado de conservação, não possui grifos ou rasuras. Brochura e laterais com marcas de manuseio. D... Veja mais