-

-
Proof Theory
Sequent Calculi and Related Formalisms
Discrete Mathematics and Its Applications
-
Bimbo, Katalin
-
出版社:Chapman & Hall/crc
出版年月:2024年 10月
装丁:PAP
言語:ENG
-
税込価格:
17,210円
海外在庫あり
通常2~5週間で出荷
-

-
Combinatory Logic
Pure, Applied and Typed
Discrete Mathematics and Its Applications
-
Bimbó, Katalin
-
出版社:Chapman & Hall/crc
出版年月:2024年 10月
装丁:PAP
言語:ENG
-
税込価格:
17,210円
海外在庫あり
通常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,640円
海外在庫あり
通常2~5週間で出荷
-

-
Proof Theory
Sequent Calculi and Related Formalisms
Discrete Mathematics and Its Applications
-
Bimbo, Katalin
-
出版社:CRC Press Inc
出版年月:2014年 08月
装丁:HRD
言語:ENG
-
税込価格:
34,247円
海外在庫あり
通常2~5週間で出荷
-

-
Combinatory Logic
Pure, Applied and Typed
Discrete Mathematics and Its Applications
-
Bimbó, Katalin
-
出版社:Chapman & Hall/crc
出版年月:2011年 07月
装丁:HRD
言語:ENG
-
税込価格:
45,145円
海外在庫あり
通常2~5週間で出荷