Filosofia

Hybrid Logic And Its Proof-Theory

de Torben Brauner 

eBook
Bertrand.pt - Hybrid Logic And Its Proof-Theory
idioma: Inglês
Editor: SPRINGER NETHERLANDS
Edição: novembro de 2010
10%
118,59€
Poupe 11,86€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (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.

Da mesma coleção

ver +
Modern Perspective On Type Theory
10%
10% Cartão Leitor Bertrand
145,09€
Poupe 14,51€
SPRINGER NETHERLANDS
eBook
Textbook Of Belief Dynamics
10%
10% Cartão Leitor Bertrand
171,59€
Poupe 17,16€
SPRINGER NETHERLANDS
eBook
Hybrid Logic And Its Proof-Theory
de Torben Brauner 
ISBN:
9789400700024
Ano de edição:
11-2010
Editor:
SPRINGER NETHERLANDS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Applied Logic Series
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Sociais e Humanas  >  Filosofia

EAN:
9789400700024
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.