This book draws on research in psychology and behavioral economics to show how striving to live up to our identity claims profoundly affects our daily lives.  Meer

This book draws on research in psychology and behavioral economics to show how striving to live up to our identity claims profoundly affects our daily lives.  Meer

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.  Meer