Aggregation Functions (Encyclopedia of Mathematics and its Applications)
Categories for Types
Computational Logic and Human Thinking: How to be Artificially Intelligent
Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)
Proofs and Computations (Perspectives in Logic)
