このページのリンク

Justification logic : reasoning with reasons / Sergei Artemov, Melvin Fitting
(Cambridge tracts in mathematics ; 216)

データ種別 図書
出版年 2019
出版者 Cambridge : Cambridge University Press
大きさ xxi, 247 p. : ill. ; 24 cm

所蔵情報を非表示

横 B2洋書 : hardback 511.3:A78 1101064622
9781108424912

書誌詳細を非表示

一般注記 Includes bibliographical references (p. 234-243) and index
著者標目  *Artemov, S. N.
 Fitting, Melvin Chris
件 名 LCSH:Logic, Symbolic and mathematical
LCSH:Inquiry (Theory of knowledge)
LCSH:Science -- Theory reduction  全ての件名で検索
LCSH:Reasoning
分 類 LCC:QA9
DC23:511.3
本文言語 英語
書誌ID BK00305835
NCID BB28170427
目次/あらすじ

 類似資料