Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)
価格： ￥5,508
カテゴリ： ペーパーバック
関連商品
- Philosophical Troubles: Collected Papers
- Model Theory: Third Edition (Dover Books on Mathematics)
- Introduction to Bisimulation and Coinduction
- Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)
- Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)