「 Logic 」を閲覧中 (1249 件の結果のうち 61 ～ 80 を表示中)
Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings- 形式: 固定
- ¥3,599 JPY 時から付加価値税込み価格
Set theory
- 形式: 固定
- ¥12,504 JPY付加価値税込み価格
Der Untergang von Mathemagika
Ein Roman über eine Welt jenseits unserer Vorstellung- 形式: 固定
- ¥514 JPY 時から付加価値税込み価格
Selected Papers on Automath
- 形式: 固定
- ¥12,504 JPY付加価値税込み価格
The Colorado Mathematical Olympiad and Further Explorations
From the Mountains of Colorado to the Peaks of Mathematics- 形式: 固定
- ¥3,086 JPY 時から付加価値税込み価格
A First Course in Logic
- 版: 1st
- 形式: リフロー可能
- ¥14,224 JPY付加価値税込み価格
Logic Made Easy: How to Know When Language Deceives You
- 形式: リフロー可能
- ¥2,646 JPY付加価値税込み価格
Orders: Description and Roles: Description and Roles
- 形式: 固定
- ¥12,504 JPY付加価値税込み価格
PROCEEDINGS OF THE 12TH ASIAN LOGIC CONFERENCE
Proceedings of the 12th Asian Logic Conference- 形式: リフロー可能
- ¥9,427 JPY付加価値税込み価格
Mathematics and the Mind
An Introduction into Ibn Sīnā’s Theory of Knowledge- 形式: 固定
- ¥3,599 JPY 時から付加価値税込み価格
Category Theory in Context
- 形式: リフロー可能
- ¥5,134 JPY付加価値税込み価格
Parameterized Complexity
- 形式: 固定
- ¥10,747 JPY 時から付加価値税込み価格
Mathematical Logic
On Numbers, Sets, Structures, and Symmetry- 形式: リフロー可能
- ¥3,342 JPY 時から付加価値税込み価格
Logic for Computer Science
Foundations of Automatic Theorem Proving, Second Edition- 版: 1st
- 形式: リフロー可能
- ¥5,647 JPY付加価値税込み価格
Handbook of Metric Fixed Point Theory
- 版: 1st
- 形式: 固定
- ¥8,175 JPY 時から付加価値税込み価格
Arnon Avron on Semantics and Proof Theory of Non-Classica...
- 形式: リフロー可能
- ¥6,633 JPY 時から付加価値税込み価格
What is Fundamental?
- 形式: リフロー可能
- ¥4,114 JPY 時から付加価値税込み価格
Evolving Rule-Based Models
A Tool for Design of Flexible Adaptive Systems- 形式: 固定
- ¥5,091 JPY 時から付加価値税込み価格
SLICING THE TRUTH
On the Computable and Reverse Mathematics of Combinatorial Principles- 形式: リフロー可能
- ¥3,086 JPY付加価値税込み価格
Basic Real Analysis
- 形式: 固定
- ¥2,828 JPY 時から付加価値税込み価格