BorrowDirect will be undergoing system maintenance on Sunday, July 21, 2024 from approximately 6am through 10am Eastern Time. There may be a delay in processing BorrowDirect requests during this timeframe.
Algorithmic aspects of intuitionistic propositional logic