Login / Signup

Minimal elementary end extensions.

James H. Schmerl
Published in: Arch. Math. Log. (2017)
Keyphrases
  • efficient implementation
  • special case
  • default logic
  • school children