1968/05/01 by Moss Eisenberg Sweedler, Moss E. Sweedler · 4 citationsComputer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
paper · doi:10.2307/1970711