Boolos, George
著者名典拠詳細を非表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | His Computability and logic, 1989: CIP t.p. (George Boolos; prof. of philosophy, MIT) LC data base, 3/29/89 (hdg: Boolos, George) |
| 別名 | Boolos, George S. |
| コード類 | 典拠ID=AU00080795 NCID=DA01621965 |
| 1 | Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey : pbk. - 4th ed. - Cambridge : Cambridge University Press , 2002 |
| 2 | Logic, logic, and logic / George Boolos ; edited by Richard Jeffrey ; with introductions and afterword by John P. Burgess : pbk. - Cambridge, Mass : Harvard University Press , 1999 |
| 3 | The logic of provability / George Boolos 1st paperback ed. - Cambridge, U.K. ; New York : Cambridge University Press , 1995 |
| 4 | The logic of provability / George Boolos Cambridge [England] ; New York, NY, USA : Cambridge University Press , 1993 |