논리적 추론과 증명 =Logical inference and proof
Export
| 저자정보 | 이병덕 지음 | ||||
|---|---|---|---|---|---|
| 출판사 | 이제이북스 | ||||
| 책소개 | 논리학을 처음 접하는 이들을 어렵지 않으면서도, 기본적인 증명 테크닉을 체계적으로 가르치고 있는 책. 지은이 이병덕은 자연 연역에 의한 증명 테크닉을 책 전체에 걸쳐 체계적으로 사용하고 있으며, 특히 읽는이들이 추론 규칙들을 체계적으로 이해하고, 또한 쉽게 활용할 수 있도록 배려하였다. | ||||
| 출판연월 | 2008 | ISBN | 9788956440989 | ||
| Vol | 주제분야 | 170 [철학 > 논리학 > 논리학] |
총 대출건수 | 1,316 | |
대출 추이
Loading...
추천도서
1
2
3
4
5
6
7
8
9
10
도서 소장 도서관
지역별 도서 소장 도서관을 조회합니다.
지역
세부 지역
| No | 도서관명 | 홈페이지 | 주소 |
|---|---|---|---|
| 지역 선택 후 조회하시기 바랍니다. | |||