عنوان

Linking Game-Theoretical Approaches With Constructive Type Theory

:9783319190624

16387

انگلیسی

Linking Game-Theoretical Approaches With Constructive Type Theory

[electronic resources]

: Dialogical Strategies, CTT Demonstrations and the Axiom of Choice

\ Nicolas Clerbout, Shahid Rahman

New York, NY

: Springer Berlin Heidelberg

, 2015.

1507

xix, 99 p.

E-book

ایران

20170727111210.0

rda

9783319190624.pdf

http://www.loc.gov/catdir/enhancements/fy1513/2015939429-d.html

http://www.loc.gov/catdir/enhancements/fy1513/2015939429-t.html

279177