Proyek Logika Terbuka — Pembaca Bahasa Indonesia

Pembaca ini memuat seluruh 722 berkas sumber dalam 774 kemunculan bacaan. Naskah utama dan bagian pelengkap dibaca dalam satu urutan, dengan penomoran asli masing-masing dipertahankan.

Ekspor HTML/EPUB, perbaikan tampilan, dan pengemasan: OpenAI Codex — GPT-6 Astra, Ultra. Naskah utama mencatat terjemahan awal oleh OpenAI 5.6 Sol, Ultra mode. Sampul pelengkap hanya menyebut OpenAI Codex; identitas model dan tingkat upaya yang tidak tercatat tidak ditebak.

Ini bukan terjemahan ulang, audit kanon baru atas semua pilihan bahasa, atau klaim penelaahan manusia. Dua koreksi tentang kelas ekuivalensi barisan Cauchy yang telah diterbitkan pada 2 Oktober 2026 disertakan; PDF historis belum memuat koreksi tersebut.

Rumus memakai MathML dan diagram memakai SVG. Sebanyak 792 diagram derivasi juga mempunyai bentuk terstruktur dengan 2.351 bagian yang mempertahankan rumus, hubungan antarbagian, dan label. Ucapan pembaca layar belum diuji secara langsung; dukungan MathML berbeda antaraplikasi. Berkas dibagi menurut bagian dan bab agar perangkat tidak perlu memuat seluruh buku sekaligus.

Karya asal: Open Logic Project. Teks memakai Creative Commons Attribution 4.0; pertahankan atribusi serta lisensi individual sumber dan media. Tidak tersirat dukungan atau pengesahan Open Logic Project.

Daftar isi lengkap

Indeks seluruh berkas sumber

  1. Tentang Proyek Logika Terbuka
  2. Daftar Isi
  3. I Teori Himpunan Naif
  4. 1 Himpunan
  5. 2 Relasi
  6. 3 Fungsi
  7. 4 Ukuran Himpunan
  8. 5 Aritmetisasi
  9. 6 Himpunan Tak Hingga
  10. II Logika Proposisi
  11. 7 Sintaks dan Semantik
  12. 8 Sistem Derivasi
  13. 9 Kalkulus Sekuen
  14. 10 Deduksi Alami
  15. 11 Tableau
  16. 12 Derivasi Aksiomatik
  17. 13 Teorema Kelengkapan
  18. III Logika Orde Pertama
  19. 14 Pengantar Logika Orde Pertama
  20. 15 Sintaksis Logika Orde Pertama
  21. 16 Semantik Logika Orde Pertama
  22. 17 Teori dan Model-Modelnya
  23. 18 Sistem Derivasi
  24. 19 Kalkulus Sekuen
  25. 20 Deduksi Alami
  26. 21 Tableau
  27. 22 Derivasi Aksiomatik
  28. 23 Teorema Kelengkapan
  29. 24 Melampaui Logika Orde Pertama
  30. IV Teori Model
  31. 25 Dasar-Dasar Teori Model
  32. 26 Model-Model Aritmetika
  33. 27 Teorema Interpolasi
  34. 28 Teorema Lindström
  35. V Komputabilitas
  36. 29 Fungsi Rekursif
  37. 30 Teori Komputabilitas
  38. VI Mesin Turing
  39. 31 Komputasi Mesin Turing
  40. 32 Ketakterputusan
  41. VII Ketaklengkapan
  42. 33 Pengantar Ketaklengkapan
  43. 34 Aritmetisasi Sintaksis
  44. 35 Representabilitas dalam 𝐐
  45. 36 Teori dan Komputabilitas
  46. 37 Ketaklengkapan dan Keterbuktian
  47. VIII Logika Orde Kedua
  48. 38 Sintaksis dan Semantik
  49. 39 Metateori Logika Orde Kedua
  50. 40 Logika Orde Kedua dan Teori Himpunan
  51. IX Kalkulus Lambda
  52. 41 Pengantar
  53. 42 Sintaksis
  54. 43 Sifat Church–Rosser
  55. 44 Keterdefinisian Lambda
  56. X Logika Bernilai Banyak
  57. 45 Sintaks dan Semantik
  58. 46 Logika Bernilai Tiga
  59. 47 Logika Bernilai Tak Hingga
  60. 48 Kalkulus Sekuen
  61. XI Logika Modal Normal
  62. 49 Sintaksis dan Semantik
  63. 50 Keterdefinisian Kerangka
  64. 51 Derivasi Aksiomatik
  65. 52 Kelengkapan dan Model Kanonik
  66. 53 Filtrasi dan Keterputusan
  67. 54 Tableau Modal
  68. 55 Kalkulus Sekuen Modal
  69. XII Logika Modal Terapan
  70. 56 Logika Temporal
  71. 57 Logika Epistemik
  72. XIII Logika Intuisionistik
  73. 58 Pendahuluan
  74. 59 Semantik
  75. 60 Kesahihan dan Kelengkapan
  76. 61 Tableau Intuisionistik
  77. XIV Kontra­faktual
  78. 62 Pendahuluan
  79. 63 Semantik Perubahan Minimal
  80. XV Teori Himpunan
  81. 64 Konsepsi Iteratif
  82. 65 Langkah-Langkah Menuju 𝐙
  83. 66 Ordinal
  84. 67 Tahap dan Peringkat
  85. 68 Penggantian
  86. 69 Aritmetika Ordinal
  87. 70 Kardinal
  88. 71 Aritmetika Kardinal
  89. 72 Pilihan
  90. XVI Metode
  91. 73 Bukti
  92. 74 Induksi
  93. XVII Sejarah
  94. 75 Biografi
  95. 76 Sejarah dan Mitologi Teori Himpunan
  96. XVIII Referensi
  97. 77 Alfabet Yunani
  98. 78 Alfabet Fraktur
  99. I Teori Bukti
  100. 1 Kalkulus Sekuen
  101. 2 Eliminasi Potongan
  102. 3 Deduksi Alami
  103. 4 Normalisasi
  104. 5 Proposisi sebagai Tipe
  105. 6 Pencarian Bukti
  106. Formulasi tambahan dan fragmen teori bukti
  107. Unit tambahan dari bagian lain
  108. Logika orde pertama
  109. Ketaklengkapan
  110. Logika intuisionistik dan kalkulus lambda
  111. Logika bernilai banyak, teori model, dan logika modal
  112. Logika proposisional dan orde kedua
  113. Himpunan, fungsi, dan definisi induktif
  114. Kerangka susunan alternatif
  115. Petunjuk kerangka
  116. B Sintaks dan Semantik
  117. IV Himpunan, Relasi, Fungsi
  118. C Relasi
  119. D Ukuran Himpunan
  120. Bibliografi
  121. Indeks Berkas Sumber
  122. Catatan