Scan barcode
512 pages • first pub 1996 (editions)
ISBN/UID: 9786610903214
Format: Digital
Language: English
Publisher: Oxford University Press
Publication date: Not specified
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 • first pub 1996 (editions)
ISBN/UID: 9786610903214
Format: Digital
Language: English
Publisher: Oxford University Press
Publication date: Not specified
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