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

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

Price
HK$ 1,446
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 23 - Aug 4
Get notified about new Walter Carnielli releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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  

More by Walter Carnielli

Show all

More from the same publisher

See all of Walter Carnielli ( e.g. Paperback Book and Hardcover Book )