author : Peter Gibbins

Peter Gibbins.
Particles and Paradoxes: the limits of quantum logic.
CUP. 1987

Peter Gibbins.
Logic with Prolog.
OUP. 1988

(read but not reviewed)