10% de desconto

Hybrid Logic And Its Proof-Theory eBook

de Torben Brauner
idioma: inglês
Editor: SPRINGER NETHERLANDS, novembro de 2010 ‧
118,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

Hybrid Logic And Its Proof-Theory

de Torben Brauner

Propriedade Descrição
ISBN: 9789400700024
Editor: SPRINGER NETHERLANDS
Data de Lançamento: novembro de 2010
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Applied Logic Series
Classificação Temática: eBooks em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9789400700024

LIVROS DA MESMA COLEÇÃO