Saturday, May 30, 2020

Intuitionistic propositional logic and natural deduction

Article URL: https://blog.burakemir.ch/2020/05/intuitionistic-propositional-logic-and.html

Comments URL: https://news.ycombinator.com/item?id=23365982

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/2XfoHgJ
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Who Did the Work?

Article URL: https://quarter--mile.com/Who-Did-The-Work Comments URL: https://news.ycombinator.com/item?id=43197447 Points: 1 # Comments:...