An Introduction to Formal Logic
Chapter 1: What is logic? Chapter 2: Sentential logic. Chapter 3: Truth tables. Chapter 4: Quantified logic. Chapter 5: Formal semantics. Chapter 6: Proofs.
Lưu vào:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Thông tin xuất bản: |
Forallix
2016
|
| Chủ đề: | |
| Truy cập trực tuyến: | https://lib.hpu.edu.vn/handle/123456789/21575 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|