You need to sign in or sign up before continuing.
Scan barcode
602 pages • missing pub info (editions)
ISBN/UID: 9781402067815
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 04 February 2008
Description
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 logi...
Community Reviews
Content Warnings
602 pages • missing pub info (editions)
ISBN/UID: 9781402067815
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 04 February 2008
Description
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 logi...
Community Reviews
Content Warnings