Scan barcode
512 pages • missing pub info (editions)
ISBN/UID: 9780198538332
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 14 November 1996
Description
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has ...
Community Reviews
Content Warnings
512 pages • missing pub info (editions)
ISBN/UID: 9780198538332
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 14 November 1996
Description
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has ...
Community Reviews
Content Warnings