Deductions 1.3
Odliczenia jest oprogramowanie edukacyjne, mające na celu pomóc uczniom w nauce dowodów w logice formalnej. Jest on przeznaczony do stosowania przez instruktorów i studentów uczelni poziomu kursów logiki w filozofii, matematyki i informatyki. To daje...