Remarks on descriptions and natural deduction Richard MontagueDonald Kalish OriginalPaper Pages: 65 - 73
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül G. KreiselH. Putnam OriginalPaper Pages: 74 - 78