Boolos, George
著者名典拠詳細を表示
| コード類 | 典拠ID=AL00052942 NCID=DA01621965 |
|---|
| 1 | Computability and logic / George S. Boolos, Richard C.Jeffrey : pbk. - 3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989 |
ようこそ ゲスト さん