Logic for computer science: By JH Gallier. Harper & Row‚ London‚ 1986‚ Price£ 17.95‚ ISBN 0 06 042225 4

Ursula Martin