书目详细信息
： DEDUCIBILITY AND DECIDABILITY /
书目信息 机读格式(MARC)
| ISBN： | 0415000335 |
|---|---|
| 编目源： | DLC DLC DLC |
| 个人名称： | Gill, R. R. Rockingham,1944- |
| 题名： | Deducibility and decidability / R.R. Rockingham Gill. |
| 索书号： | O141/G475E |
| 出版发行项： | London ; New York : Routledge, 1990. |
| 载体形态： | viii, 162 p. : ill. ; 23 cm. |
| 书目附注： | Includes bibliographical references (p. 150-155) and index. |