-

-
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週間で出荷