Bibliography: p.300-302. _ Includes index.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Logic : form and function : the mechanization of deductive reasoning by J. A. Robinson. ISBN 0852243057. Published by Edinburgh University Press in 1979. Publication and catalogue information, links to buy online and reader comments.
