Logic techniques of formal reasoning
Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles....
Đã lưu trong:
Tác giả khác: | |
---|---|
Ngôn ngữ: | Undetermined English |
Được phát hành: |
Australia,United States
Wadsworth/Thomson Learning
1980
|
Những chủ đề: | |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Trà Vinh |
---|
LEADER | 01230nam a2200265Ia 4500 | ||
---|---|---|---|
001 | TVU_11931 | ||
008 | 210423s9999 xx 000 0 und d | ||
020 | |a 0195155041 | ||
020 | |a 9780195155044 | ||
041 | |a eng | ||
082 | |a 511.3 | ||
082 | |b D430 | ||
245 | 0 | |a Logic | |
245 | 0 | |b techniques of formal reasoning | |
245 | 0 | |c Donald Kalish ... [et al.] | |
260 | |a Australia,United States | ||
260 | |b Wadsworth/Thomson Learning | ||
260 | |c 1980 | ||
300 | |a 520 p. | ||
300 | |b ill. | ||
300 | |c 25 cm | ||
520 | |a Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered | ||
650 | |a Logic; Symbolic and mathematical | ||
700 | |a Donald Kalish | ||
980 | |a Trung tâm Học liệu Trường Đại học Trà Vinh |