Lógica de primeira ordem

Raymond M. Smullyan

Salvar edição
  • 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
Ler sinopse completa
Lógica de Primeira Ordem

Lógica de Primeira Ordem

Raymond M. Smullyan | 2009

Descrição: Volume em muito bom estado, miolo intacto.

Veja os outros undefined exemplares usados deste livro: