BooksStandalone TitlesMonographpp. 70–93Intuitionistic logic: LJ, NJDownload Chapter PDFA subscription is required to access this book chapter.