Text
Kalkulus Predikat
pembahasan dalam buku ini dimulai dengan konsep kuantor, yakni kuantor universal dan kuantor eksistensia; serta semesta pemikiran yang melengkapinya, dan dilanjutkan dengan pembuktian validitas melalui ekspresi logika predikat yang dibentuk dari argumen memakai metode derivasi.
19101216 | 515 DWI k c.1 | Perpustakaan Pusat ITERA (Rak Kelas 500) | Tersedia |
19101217 | 515 DWI k c.2 | Perpustakaan Pusat ITERA (Rak Kelas 500) | Tersedia |
19101218 | 515 DWI k c.3 | Perpustakaan Pusat ITERA (Rak Kelas 500) | Tersedia |
Tidak tersedia versi lain