[서명] 논리적 추론과 증명 = Logical inference and proof
[저자] 이병덕 지음
[청구기호] 170-이44ㄴ
[자료실] 도서자료실
[등록번호] EM0000083186