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.