: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: Bom estado; leves desgastes na capa; miolo levemente amarelado com leves manchas; pode conter raros grifos. 188p. I... Veja mais