|
Computability and logic
[by] George Boolos [and] Richard Jeffrey
|
書名 |
Computability and logic |
著作者等 |
Jeffrey, Richard C.
Boolos, George
|
出版元 |
Cambridge University Press |
刊行年月 |
c1974 |
ページ数 |
x, 262 p |
大きさ |
24 cm |
ISBN |
052120402X
|
NCID |
BA07083112
※クリックでCiNii Booksを表示
|
言語 |
英語 |
出版国 |
イギリス |
この本を:
|
件が連想されています
|