Text
Kalkulus Predikat
Pembahasan pada buku ini dimulai dengan kuantor, yakni kuantor universal dan kuantor eksistensial serta semesta pemikiran (universe of discourse) yang melengkapinya dan dilanjutkan dengan pembuktian validitas melalui ekspresi logika predikat yang dibentuk dari argumen memakai metode derivasi.
201201226 | 515 Dwi k | Perpustakaan IAIN Palopo (Ruang Sirkulasi) | Tersedia |
201201223 | 515 Dwi k | Perpustakaan IAIN Palopo (Ruang Rak Sirkulasi) | Tersedia |
201201222 | 515 Dwi k | Perpustakaan IAIN Palopo (Ruang Sirkulasi) | Tersedia |
201201731 | 515 Dwi k | Perpustakaan IAIN Palopo (Ruang Sirkulasi) | Tersedia |
201301224 | 515 Dwi k | Perpustakaan IAIN Palopo (Ruang Rak Sirkulasi) | Tersedia |
2012020120 | 515 Dwi k | Perpustakaan IAIN Palopo (Ruang Rak Sirkulasi) | Tersedia |
Tidak tersedia versi lain