단행본 상세

서지주요정보
수리논리와 집합론 입문= Proofmood, a computer logic system
서명 / 저자 수리논리와 집합론 입문= Proofmood, a computer logic system/ 정주희 지음
저자명 정주희
발행사항 서울: 경문사, 2018
총서명 대한수리논리학회 수리논리 연구 시리즈; 1

소장자료

등록번호

0008558

소장위치/청구기호

과학문화센터 / 511.322 정76ㅅ

도서상태

배가중

반납예정일

예약

서지기타정보

서지기타정보
ISBN 9788961055499
청구기호 511.322 정76ㅅ
형태사항 ix, 300 p.; 27 cm
언어 한국어
서지주기 참고문헌(p. 283)과 색인수록
주제 수리논리
집합론
입문
수학
QR CODE

이 주제의 인기대출도서