25% OFF

Hybrid Logic And Its Proof-Theory eBook

by Torben Brauner
language: english
Publisher: SPRINGER NETHERLANDS, November of 2010 ‧
118,59€
94,87€
20% OFF + 5% CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
DIGITAL SUNDAY SEE MORE ITEMS ON SALE
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

by Torben Brauner

Property Description
ISBN: 9789400700024
Publisher: SPRINGER NETHERLANDS
Release Date: November of 2010
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Applied Logic Series
Categories: eBooks in English > Social Sciences and Humanities > Philosophy
EAN: 9789400700024

BOOKS FROM THE SAME COLLECTION