＜p＞Martin Palmgren is a recognised thought leader and works with business and IT executives on their
5,350 円
＜p＞This book is written as an introduction to annotated logics. It provides logical foundations for
12,154 円
LOGICS & TYPE SYSTEMS IN THEOR Lecture Notes in Computer Science Venanzio Capretta Robbert Krebbers
47,740 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
2,953 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
7,240 円
＜p＞The social sciences have seen a substantial increase in comparative and multi-sited ethnographic
4,861 円
＜p＞＜em＞Contesting Security＜/em＞ investigates to what extent the ‘logic of security’, which underpins
12,450 円
＜p＞This book untangles the relationship between expert categorisations of risk and the on-the-ground
18,231 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
5,656 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
38,831 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
37,315 円
＜p＞Martin Palmgren is a recognised thought leader and works with business and IT executives on their
5,350 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
75,445 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
15,811 円
ご注文前に必ずご確認ください＜商品説明＞＜収録内容＞第1章 はじめに第2章 テンソル積と双積(例テンソル積とモノイド ほか)第3章 ダガー圏(例ダガー構造 ほか)第4章 ダガー核論理(部分対象直交性
5,280 円
＜p＞This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o
6,076 円
＜p＞This book is a revised version of my doctoral thesis which was submitted in April 1993. The main
12,154 円
＜p＞In this monograph we introduce and examine four new temporal logic formalisms that can be used as
6,076 円
＜p＞This book discusses the philosophical work of D?cio Krause. Non-individuality, as a new metaphysi
17,016 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
15,992 円
＜p＞This book introduces the theory of graded consequence (GCT) and its mathematical formulation. It
6,076 円
＜p＞This book argues that structuralism makes itself useful when it engages with the non-Oedipal logi
9,116 円
＜p＞Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution)
6,076 円
＜p＞This is the first comprehensive textbook on higher-order logic that is written specifically to in
9,758 円
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package
14,497 円
＜p＞Martin Palmgren is a recognised thought leader and works with business and IT executives on their
5,350 円
＜p＞For some, socialism is a potent way of achieving economic, political and social transformations i
12,154 円
＜p＞Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible w
10,331 円
Solid State Logic SSL2 MKII / SSL2+ MKII 世界中のユーザーの声を取り入れアップグレードされた SSL2 MkII / SSL2+MKII USB オーディオイン
38,940 円
Solod State Logic SSL 124Kスイッチ搭載の4つのマイク／ライン入力を備えた12IN/8OUT USBオーディオインターフェイス・4 機の SSLデザインのマイクプリアンプ。・チ
88,000 円