LOG310 H22 Logikens historia, metodologi och tillämpningar