Deductive systems finite and non-euclidean geometries - Lockwood, James R (National Council of Teachers of Mathematics, 1978)