Should the logic of set theory be intuitionistic?

Những quyển sách tương tự

• Intuitionistic logic model theory and forcing /
  Bằng: Fitting, Melvin, 1942-
  Được phát hành: (1969)
• Intuitionistic set theory
  Bằng: Grayson, RJ
  Được phát hành: (1978)
• Categorical Proof Theory of Co-Intuitionistic Linear Logic
  Bằng: Gianluigi Bellin
  Được phát hành: (2014-09-01)
• Intuitionistic Layered Graph Logic: Semantics and Proof Theory
  Bằng: Simon Docherty, et al.
  Được phát hành: (2018-10-01)
• Models for intuitionistic logic
  Bằng: Cuckle, H, et al.
  Được phát hành: (1975)