Take a photo of a barcode or cover
Read With Others
Book Information
512 pages • digital • first pub 1996 • 2 editions
ISBN/UID: 9786610903214
Format: Digital
Language: English
Publisher: Oxford University Press
Edition Pub 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 • digital • 1996
ISBN/UID: 9786610903214
Format: Digital
Language: English
Publisher: Oxford University Press
Edition Pub 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