formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." weiterlesen