Intuitionistic logic model theory and forcing /

Նմանատիպ նյութեր

• Proof methods for modal and intuitionistic logics /
  ‌: Fitting, Melvin, 1942-
  Հրապարակվել է: (1983)
• Intuitionism and proof theory : proceedings /
  ‌: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), և այլն
  Հրապարակվել է: (1970)
• Elements of mathematical logic (model theory) /
  ‌: 351900 Kreisel, G., և այլն
  Հրապարակվել է: (1971)
• Introduction to mathematical logic : set theory computable functions model theory /
  ‌: Malitz, J
  Հրապարակվել է: (1979)
• Mathematical logic : applications and theory /
  ‌: 461395 Rubin, Jean E.
  Հրապարակվել է: (1990)