书目信息 机读格式(MARC)
Computability and Logic
| ISBN： | 0-521-29967-5 |
|---|---|
| 语种代码： | eng |
| 个人名称： | Boolos, George |
| 题名： | Computability and Logic . by George Boolos |
| 出版发行项： | ：New York ，the Press Syndcate of the University of Cambridge the Pitt c．1980 |
| 载体形态： | p．285 23cm． |
| 一般附注： | 数理逻辑 |