Modern Mathematical Logic – Joseph Mileti

 

Đây là sách toán học về logic hình thức, cách xây dựng và chứng minh các mệnh đề toán học, cùng mối quan hệ giữa ngôn ngữ, chứng minh và cấu trúc toán học. Sách phù hợp với người muốn đi từ tư duy toán học trực giác sang lập luận chính xác, có hệ thống.