인쇄
미지정
도서명 :
Truth, deduction, an
d computation ; Logic and semantics for computer science
저 자 :
Davis, Ruth E.
청구기호 :
005.12-D263t
소장처 :
서양서제1서고
대출요구사항 :
출력