Formella metoder för filosofi och vetenskapligt tänkande - FIFM10 - Memmo