SQUARE WITH BUILT-IN DIAMOND-PLUS
RINOT, ASSAF, SCHINDLER, RALFVolume:
82
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2016.69
Date:
September, 2017
File:
PDF, 323 KB
english, 2017