لیست کتاب های کلمه کلیدی: #Constructive-Mathematics

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)

Published on: 2015

Beginner Unordered English

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. …

Game-Theory Type-Theory Dialogical-Strategies Constructive-Mathematics Axiom-of-Choice

Page 1 of 1