Theorem Proving in H ...
Jim Grundy, Mal ...
定価: ¥ 15284
当ショップ価格: ¥ 9526
Completeness and Red ...
Peter Bürgisser
定価: ¥ 22393
当ショップ価格: ¥ 7995
Logics in Artificial ...
Jose Julio Alfe ...
定価: ¥ 12914
当ショップ価格: ¥ 9070
Many-Valued Logics 1 ...
Leonard Bolc, P ...
定価: ¥ 20023
当ショップ価格: ¥ 12368
Logics for Databases ...
Jan Chomicki, G ...
定価: ¥ 38980
当ショップ価格: ¥ 34399
Labelled Non-Classic ...
Luca Viganò
定価: ¥ 31871
当ショップ価格: ¥ 25296
Time Map Phonology F ...
J. Carson-Bernd ...
定価: ¥ 24762
当ショップ価格: ¥ 17099
Quantifiers Logics, ...
Michal Krynicki ...