• Bimbo, Katalin,国内・海外在庫あり

    による検索結果
  • 1件〜5件(全5件)
書名
著者
出版社
ISBN
出版年月
装丁
言語
在庫状況
書籍表紙

Proof Theory

Sequent Calculi and Related Formalisms

Discrete Mathematics and Its Applications

Bimbo, Katalin
出版社:Chapman & Hall/crc 出版年月:2024年 10月
装丁:PAP 言語:ENG
税込価格:

16,900円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Combinatory Logic

Pure, Applied and Typed

Discrete Mathematics and Its Applications

Bimbo, Katalin
出版社:Chapman & Hall/crc 出版年月:2024年 10月
装丁:PAP 言語:ENG
税込価格:

16,900円

海外在庫あり 通常2~5週間で出荷
書籍表紙

J. Michael Dunn on Information Based Logics

Outstanding Contributions to Logic

Bimbo, Katalin (EDT)
出版社:Springer International Publishing Ag 出版年月:2018年 04月
装丁:PAP 言語:ENG
税込価格:

24,124円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Proof Theory

Sequent Calculi and Related Formalisms

Discrete Mathematics and Its Applications

Bimbo, Katalin
出版社:CRC Press Inc 出版年月:2014年 08月
装丁:HRD 言語:ENG
税込価格:

33,631円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Combinatory Logic

Pure, Applied and Typed

Discrete Mathematics and Its Applications

Bimbo, Katalin
出版社:Chapman & Hall/crc 出版年月:2011年 07月
装丁:HRD 言語:ENG
税込価格:

44,331円

海外在庫あり 通常2~5週間で出荷