Sökt på: Sökresultat
totalt 5 träffar
Knowing Him by Heart
An unprecedented collection of African American writings on Lincoln Though not blind to Abraham Lincoln's imperfections, Black Americans long ago laid a heartfelt claim to his …
Higher-Order Logic and Type Theory
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing …
International Environmental Risk Management
Based on the first edition with extensive analysis of practical applications of environmental risk management and compliance management systems, this second edition of …
The Long and the Short of It
Higher-order Logic and Type Theory
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing …