Sách Hệ Ghi Ý: Về Nghĩa và Rép Một ngôn ngữ hình thức của Gottlob Frege là một trong những tác phẩm lẫy lừng nhất trong lịch sử logic học. Với tác phẩm này, bộ mặt của logic hình thức hiện đại được thành hình