Linking Game-Theoretical Approaches with Constructive Type Theory Más libros de Nicolas Clerbout & Shahid Rahman

Immanent Reasoning or Equality in Action

2018