Capa do artigo Semantical Investigations In Heyting'S Intuitionistic Logic
20% de desconto

Semantical Investigations In Heyting'S Intuitionistic Logic eBook

de Dov M. Gabbay
idioma: inglês
Editor: SPRINGER NETHERLANDS, novembro de 2013 ‧
171,59€
137,27€
20% DESCONTO IMEDIATO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing's implication.

Semantical Investigations In Heyting'S Intuitionistic Logic

de Dov M. Gabbay

Propriedade Descrição
ISBN: 9789401729772
Editor: SPRINGER NETHERLANDS
Data de Lançamento: novembro de 2013
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Synthese Library
Classificação Temática: eBooks em Inglês > Literatura > Linguística e Filologia
eBooks em Inglês > Literatura > História da Literatura
eBooks em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9789401729772

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

DOV M. GABBAY

VER MAIS TÍTULOS DESTE AUTOR