Deductive logic : a programed introduction - Kearns, John T. (New York : New Century, 1969)
Includes index
Keywords: Logic programming