Shahid Rahman has written at least 1 book. Their most popular book is Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice with 1 save with an average rating of -⭐.
2015 • 1 Reader • 99 pages