Buy Used and New Nicolas Clerbout Books

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

by Nicolas Clerbout,Shahid Rahman

ISBN 13: 9783319190624

Format: Paperback (124 pages)
Publisher: Springer
Published: 21 Jul 2015

Save for later