Lista de Desejos

First-Order Logic-..

Código: 122273 Marca: Dover Publications

R$ 90,89

ou R$ 86,35 via Pix

Qtde: Adicionar ao carrinho Disponibilidade: 45 dias úteis Estoque: 271 unidades

R$ 86,35
R$ 90,89
R$ 90,89

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.

ISBN	9780486683706
Autor(a)	Smullyan, Raymond M
Editora	Dover Publications
Idioma	Inglês Americano
Ano de edição	1995
Páginas	176
Acabamento	Brochura

Produtos relacionados

- Foundations Without Foundationalism: A Case For Second-Order Logic-..
  136874
  
  R$ 614,20
  
  até 4x de R$ 153,55 sem juros
  ou R$ 583,49 via Pix
  
  Ver mais
  
  Ver mais
- Mathematical Logic: A First Course-..
  121745
  
  R$ 124,09
  
  até 2x de R$ 62,04 sem juros
  ou R$ 117,89 via Pix
  
  Ver mais
  
  Ver mais
- Pecking Order-..
  611672
  
  R$ 248,92
  
  até 4x de R$ 62,23 sem juros
  ou R$ 236,47 via Pix
  
  Ver mais
  
  Ver mais
- Batting Order-..
  612005
  
  R$ 74,62
  ou R$ 70,89 via Pix
  
  Ver mais
  
  Ver mais