Ambrose. Alice Logic: the theory of formal inference - NEW YORK HOLT, RINEHART AND WINSTON, INC 1961 - 69 p p. Subjects--Index Terms: MATHEMATICS