Proof methods for modal and intuitionistic logics /

অনুরূপ উপাদানগুলি

• Intuitionistic logic model theory and forcing /
  অনুযায়ী: Fitting, Melvin, 1942-
  প্রকাশিত: (1969)
• On Combining Intuitionistic and S4 Modal Logic
  অনুযায়ী: João Rasga, অন্যান্য
  প্রকাশিত: (2024-06-01)
• Intuitionism and proof theory : proceedings /
  অনুযায়ী: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), অন্যান্য
  প্রকাশিত: (1970)
• Conditional and preferential logics : proof methods and theorem proving /
  অনুযায়ী: 518526 Pozzato, Gian Luca
  প্রকাশিত: (c201)
• Logic, proof and sets /
  অনুযায়ী: 388844 Bittinger, Marvin L.
  প্রকাশিত: (1982)