Formallogikk - innbundet, Norsk, 2020