(રોબર્ટ બાઓમ, લોજિક , 4 થી આવૃત્તિ, હારકોર્ટ બ્રેસ, 1996)