Jeffrey, Richard C.
著者名典拠詳細を表示
コード類 | 典拠ID=AL00045222 NCID=DA01438244 |
---|
1 | 形式論理学 : その展望と限界 / リチャード・ジェフリー著 ; 戸田山和久訳 東京 : 産業図書 , 1995.3 |
2 | Computability and logic / George S. Boolos, Richard C.Jeffrey : pbk. - 3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989 |