Justification logic : reasoning with reasons

Sergei Artemov, Melvin Fitting

この本の情報

書名 Justification logic : reasoning with reasons
著作者等 Artemov, S. N.
Fitting, Melvin Chris
シリーズ名 Cambridge tracts in mathematics
出版元 Cambridge University Press
刊行年月 2019
ページ数 xxi, 247 p.
大きさ 24 cm
ISBN 9781108424912
NCID BB28170427
※クリックでCiNii Booksを表示
言語 英語
出版国 イギリス
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想