w-richard-stark documents

A Logic of Knowledge
Documents A Logic of Knowledge
A Forcing Approach to Strict-II11 Reflection and Strict-II11 = ∑01
Documents A Forcing Approach to Strict-II11 Reflection and Strict-II11 = ∑01
Automatic model construction
Documents Automatic model construction
AMORPHOUOS COMPUTING Examples, Mathematics and Theory, August2013
Documents AMORPHOUOS COMPUTING Examples, Mathematics and Theory, August2013