(eBook PDF) Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice
(eBook PDF) Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice
ibuks
MSRP:
Was:
Now:
$24.99
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice
- SKU:
- UPC:
- Condition:
- New
ibuks
(eBook PDF) Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
MSRP:
Was:
Now:
$30.00
Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)
MSRP:
Was:
Now:
$24.99
ibuks
(eBook PDF) Cyber-Security in Critical Infrastructures A Game-Theoretic Approach
MSRP:
Was:
Now:
$30.00
!