Deux esquisses de logique. - Rosser, J. Barkley (John Barkley), 1907- (Collection de logique mathématique., 1955)