Key features
- The Curry-Howard Isomorphism treated as common theme
- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics
- Thorough study of the connection between calculi and logics
- Elaborate study of classical logics and control operators
- Account of dialogue games for classical and intuitionistic logic
- Theoretical foundations of computer-assisted reasoning
. The Curry-Howard Isomorphism treated as the common theme.
. Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics
. Thorough study of the connection between calculi and logics.
. Elaborate study of classical logics and control operators.
. Account of dialogue games for classical and intuitionistic logic.
. Theoretical foundations of computer-assisted reasoning"
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
Key features
- The Curry-Howard Isomorphism treated as common theme
- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics
- Thorough study of the connection between calculi and logics
- Elaborate study of classical logics and control operators
- Account of dialogue games for classical and intuitionistic logic
- Theoretical foundations of computer-assisted reasoning
. The Curry-Howard Isomorphism treated as the common theme.
. Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics
. Thorough study of the connection between calculi and logics.
. Elaborate study of classical logics and control operators.
. Account of dialogue games for classical and intuitionistic logic.
. Theoretical foundations of computer-assisted reasoning"
Imprint | Elsevier Science Ltd |
Country of origin | United Kingdom |
Series | Studies in Logic and the Foundations of Mathematics |
Release date | July 2006 |
Availability | Expected to ship within 12 - 17 working days |
First published | June 2006 |
Authors | Morten Heine Sorensen, Pawel Urzyczyn |
Dimensions | 229 x 152 x 30mm (L x W x T) |
Format | Hardcover |
Pages | 456 |
Edition | 149th edition |
ISBN-13 | 978-0-444-52077-7 |
Barcode | 9780444520777 |
Categories | |
LSN | 0-444-52077-5 |