*Gabbay, D. M., “ Model Theory for Intuitionistic Logic', Zeit. f. math. Logik und Grund. d. Math, 18(1972b), 49–54. Goldblatt, R.I., “First-order. Definability in Modal Logic", JSL 40 (1975), 35–40. Halmos, P. R., Naive Set Theory, ...*

**Author**: K.A. Bowen

**Publisher:** Springer Science & Business Media

**ISBN:** 9789401576420

**Category:** Philosophy

**Page:** 139

**View:** 271