41. Logic. Gödel's Completeness theorem

แชร์
ฝัง
  • เผยแพร่เมื่อ 19 ม.ค. 2025

ความคิดเห็น • 3

  • @achrafkmout9398
    @achrafkmout9398 ปีที่แล้ว +1

    wonderful explanation, thanks a lot
    can you recommend a book that deals with this subject please

    • @metterklume
      @metterklume ปีที่แล้ว +1

      First Order Logic by Raymond Smullyan.

    • @hosseinshalchian5685
      @hosseinshalchian5685 21 วันที่ผ่านมา

      Computational Complexity - Papadimitriou chapter 5