Login / Signup
Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 265-298.
Dima Sinapova
Published in:
Bull. Symb. Log. (2015)
Keyphrases
</>
formal logic
special issue
artificial intelligence
user interface
general purpose
knowledge acquisition