Chương trình theo tautologica.sf.net

Tautologica Logic Suite Miễn phí

Một bộ chương trình cho các công cụ logic giáo dục. Ngay bây giờ chương trình làm việc duy nhất trong bộ là Tautologica Model Editor.