Take a photo of a barcode or cover
Read With Others
Book Information
512 pages • hardcover • 2 editions
ISBN/UID: 9780198538332
Format: Hardcover
Language: English
Publisher: Clarendon Press
Edition Pub Date: 14 Nov 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 • hardcover
ISBN/UID: 9780198538332
Format: Hardcover
Language: English
Publisher: Clarendon Press
Edition Pub Date: 14 Nov 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