30% de desconto

Metalogic

An Introduction To The Metatheory Of Standard First Order Logic

de Geoffrey Hunter
idioma: inglês
Editor: University of California Press, junho de 1973 ‧
39,20€
27,44€
30% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Metalogic

An Introduction To The Metatheory Of Standard First Order Logic

de Geoffrey Hunter

Propriedade Descrição
ISBN: 9780520023567
Editor: University of California Press
Data de Lançamento: junho de 1973
Idioma: Inglês
Dimensões: 139 x 210 x 18 mm
Encadernação: Capa mole
Páginas: 302
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9780520023567

QUEM COMPROU TAMBÉM COMPROU