자료유형 | 단행본 |
---|---|
서명/저자사항 | Two-valued iterative systems of mathematical logic. (am-5) [electronic resource]. |
개인저자 | Emil L. Post. |
발행사항 | Princeton: Princeton Univ Press, 2016. |
형태사항 | 1 online resource. |
ISBN | 1400882362 9781400882366 |
일반주제명 | Logic, Symbolic and mathematical. MATHEMATICS --Logic. Logic, Symbolic and mathematical. |
언어 | 영어 |
바로가기 |