The Physics of Logic
1979 ◽
pp. 141-160