LOG310 H23 Logikens historia, metodologi och tillämpningar