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: 9783319190624

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Autor	Nicolas Clerbout, Shahid Rahman
Editorial	Springer
Fecha de publicación	Jul 08, 2015
Páginas	124
Formato	paperback
ISBN-13	9783319190624
ISBN-10	3319190628
Número de Cutter	`C629l`

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