NCID | BA8292960X |
タイトル | The many valued and nonmonotonic turn in logic / edited by Dov M. Gabbay and John Woods |
版次 | 1st ed |
出版者 | Amsterdam ; Tokyo : North-Holland , 2007 |
形態 | 689 p. : ill. ; 25 cm |
注記 | Includes bibliographical references and index |
シリーズ名 | Handbook of the history of logic ; v. 8
|
分類 | DC22:511.312 |
件名 | LCSH:Many-valuedlogic
LCSH:Nonmonotonicreasoning
|
著者情報 | Gabbay, Dov M., 1945- Woods, John
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | オランダ |
ISBN | 9780444516237
|