Three-Valued Logic in the λ-Calculus(oktagonia.github.io)3 points by octed 3 years ago | 0 commentsNo comments yet