このページのリンク

Proof theory and algebra in logic / Hiroakira Ono
(Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman)

データ種別 図書
出版者 Singapore : Springer
出版年 c2019
本文言語 英語
大きさ viii, 160 p. : ill. ; 24 cm
目次/あらすじ

所蔵情報を非表示


GF: 一般書架 411/O67 08057464
9789811379963

書誌詳細を非表示

一般注記 Includes bibliographical references (p. 151-156) and index
著者標目 小野, 寛晰(1942-) <オノ, ヒロアキラ>
件 名 LCSH:Proof theory
LCSH:Algebraic logic
分 類 LCC:QA9.54
DC23:511.3
書誌ID 4100106582
ISBN 9789811379963
NCID BB28915469 WCLINK

 類似資料