Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series - Walter Carnielli - Books - Springer-Verlag New York Inc. - 9781402067815 - February 4, 2008
In case cover and title do not match, the title is correct

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series 2008 edition

Price
₩ 272,600
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 17 - 30
Christmas presents can be returned until 31 January
Add to your iMusic wish list

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.


618 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released February 4, 2008
ISBN13 9781402067815
Publishers Springer-Verlag New York Inc.
Pages 602
Dimensions 156 × 235 × 33 mm   ·   1.04 kg
Language English  

Show all

More by Walter Carnielli