@misc{KuznetsovIPL,
    title = {Lectures 1–5: Propositional Intuitionistic Logic},
    url = {https://homepage.mi-ras.ru/~sk/lehre/penn2017/lecture1.pdf},
    author = {Stepan Kuznetsov},
    date-added = {2023-11-25 7:21:29 +0100}
}

@misc{KuznetsovIPL, title = {Lectures 1–5: Propositional Intuitionistic Logic}, url = {https://homepage.mi-ras.ru/~sk/lehre/penn2017/lecture1.pdf}, author = {Stepan Kuznetsov}, date-added = {2023-11-25 7:21:29 +0100} }