Logik und Beweise

Giới thiệu

Chủ đề này trình bày cách phát biểu mệnh đề toán học chính xác và chứng minh chúng một cách hệ thống.