Capa do artigo Hybrid Logic And Its Proof-Theory

10% OFF

Hybrid Logic And Its Proof-Theory eBook

Name: Hybrid Logic And Its Proof-Theory
Price: 118.59
Author: Torben Brauner
ISBN: 9789400700024

by Torben Brauner

language: english

Publisher: SPRINGER NETHERLANDS, November of 2010 ‧ see product details

(0)

be the first to comment

118,59€

10% OFF CARD

IMMEDIATE AVAILABILITY

Ebook for ADE

SYNOPSIS

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.

DETeBook com proteção para wookreaderILS

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
Collection:	Applied Logic Series
Categories:	eBooks in English > Social Sciences and Humanities > Philosophy
EAN:	9789400700024

BOOKS FROM THE SAME COLLECTION

eBook

10%

Modern Perspective On Type Theory

Rob Nederpelt, T. LaanandF.D. Kamareddine

SPRINGER NETHERLANDS

145,09€ 10% CARD
eBook

10%

Textbook Of Belief Dynamics

Sven Ove Hansson

SPRINGER NETHERLANDS

171,59€ 10% CARD
eBook

10%

Frontiers Of Combining Systems

SPRINGER NETHERLANDS

59,61€ 10% CARD
eBook

10%

Logical And Computational Aspects Of Model-Based Reasoning

SPRINGER NETHERLANDS

118,59€ 10% CARD