Synthetic reasoning and variable sets
1986 ◽
pp. 69-82
◽