Laman Utama
Rawak
Berdekatan
Log masuk
Tetapan
Derma
Perihal Wikipedia
Penafian
Cari
Kategori
:
Logik dalam sains komputer
Bahasa
Pantau
Sunting
Subkategori
Yang berikut ialah 2 daripada 2 buah subkategori dalam kategori ini.
K
Kaedah formal
(2 K, 1 L)
T
Teori jenis
(1 K, 4 L)