2 books • 2 series
Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)
Compiled Labelled Deductive Systems (Studies in Logic & Computation, #10)