미리보기
서지주요정보
Deducibility and decidability [electronic resource]
서명 / 저자 Deducibility and decidability [electronic resource] / R.R. Rockingham Gill.
발행사항 London ; New York : Routledge, 1990.
Online Access https://ebookcentral.proquest.com/lib/kaist/detail.action?docID=167715URL

서지기타정보

서지기타정보
청구기호 BC135 .G495 1990
형태사항 viii, 162 p.
언어 English
서지주기 Includes bibliographical references (p. 150-155) and index.
주제 Logic, Symbolic and mathematical.
Decidability (Mathematical logic)
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서