notes/science/logic/sound-complete.txt
Ihar Hancharenka 5dff80e88e first
2023-03-27 16:52:17 +03:00

5 строки
79 B
Plaintext

Harper 1 2015 (40:00)
Heiting Algebra, preorder
--> soundness
<-- completeness