Número de Cutter-SanbornC629lEntrada «Cler» → 629 · marca de obra “l”

Linking Game-Theoretical Approaches with Constructive Type Theory

Name: Linking Game-Theoretical Approaches with Constructive Type Theory
ISBN: 9783319190631

Dialogical Strategies, CTT Demonstrations and the Axiom of Choice

Autor	Nicolas Clerbout, Shahid Rahman
Editorial	Springer London, Limited
Fecha de publicación	2015
Idioma	inglés
ISBN-13	9783319190631
Número de Cutter	`C629l`

Linking Game-Theoretical Approaches with Constructive Type Theory (2015) — ISBN 9783319190 | Cutter Number