Proof methods for modal and intuitionistic logics /

Eitemau Tebyg

• Intuitionistic logic model theory and forcing /
  gan: Fitting, Melvin, 1942-
  Cyhoeddwyd: (1969)
• On Combining Intuitionistic and S4 Modal Logic
  gan: João Rasga, et al.
  Cyhoeddwyd: (2024-06-01)
• Intuitionism and proof theory : proceedings /
  gan: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
  Cyhoeddwyd: (1970)
• Conditional and preferential logics : proof methods and theorem proving /
  gan: 518526 Pozzato, Gian Luca
  Cyhoeddwyd: (c201)
• Logic, proof and sets /
  gan: 388844 Bittinger, Marvin L.
  Cyhoeddwyd: (1982)