자료유형 | 단행본 |
---|---|
개인저자 | Anderson, John Mueller. Johnstone, Henry W., joint author. |
서명/저자사항 | Natural deduction:the logical basis of axiom systems/John M. Anderson and Henry W. Johnstone, Jr. |
발행사항 | Belmont, Calif.: Wadsworth Pub. Co, [1962]. |
형태사항 | xii, 418 p: ill; 24 cm. |
딸림자료 | |
서지주기 | Includes bibliographical references and index. |
일반주제명 | Logic, Symbolic and mathematical. Metamathematics. |
언어 | 영어 |
분관대출 서가에 책이 없을 때... 도서 Pick-Up서비스 찾아가는대출서비스 인쇄
No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 |
---|---|---|---|---|---|---|---|
1 | 966742 | 법학 511.3 A548n | 법학도서관/5층 보존서고/ | 대출가능 |