Independence-friendly logic. A game-theoretic approach
Mann, Allen L., Sevenster, Merlijn, Sandu, Gabriel카테고리:
년:
2011
출판사:
Cambridge University Press
언어:
english
페이지:
208
ISBN 10:
0521149347
ISBN 13:
9780521149341
시리즈:
London mathematical society lecture notes 386
파일:
PDF, 1.03 MB
IPFS:
,
english, 2011