Reading Length
Home
Speed Tests
Login
Nicolas Clerbout
Identifiers
Open Library
OL7768450A
Top Subjects
Computer science (1)
Logic (1)
Books by Nicolas Clerbout
Total count: 2
Linking Game-Theoretical Approaches with Constructive Type Theory
Dialogical Strategies, CTT Demonstrations and the Axiom of Choice
Springer London, Limited
2015-01-01
Immanent Reasoning or Equality in Action
A Plaidoyer for the Play Level
Springer
2018-08-17
