Ditemukan 468 dokumen yang sesuai dengan query
Siti Aminah
"
Logka proposisi dan logika predikat merupakan bahasa dalam matematika yang tujuan utamanya merumuskan argumentasi dalam logika matematik dengan simbol-simbol. Dalam tugas akhir ini dibanas aturan sintetik dan aturan semantik dari masing-masing bahasa itu dan metoda penentuan keabsahan kalimat-kalimat dalam kedua bahasa itu ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
Mundiri
Jakarta RajaGrafindo Persada 2000,
511.3 Mun l
Buku Teks Universitas Indonesia Library
Sutanto, 1950-
Depok: Fakultas Teknik Universitas Indonesia, 1997
LP-pdf
UI - Laporan Penelitian Universitas Indonesia Library
Copi, Irving M.
New York, NY: Macmillan, 1961
160 COP i
Buku Teks SO Universitas Indonesia Library
Copi, Irving M.
New Jersey: Prentice-Hall, 1995
160 COP i (2)
Buku Teks SO Universitas Indonesia Library
Boolos, George
Cambridge, UK: Harvard University Press, 1998
160 BOO l
Buku Teks SO Universitas Indonesia Library
Cargill, S.T.
London: Rider, 1987
160 CAR p
Buku Teks SO Universitas Indonesia Library
Cargill, S.T.
London: Rider, 1987
160 CAR p
Buku Teks SO Universitas Indonesia Library
Hurley, Patrick J., 1883-1963
Sydney: Wardsworth Cengage Learning, 2012
160 HUR c
Buku Teks SO Universitas Indonesia Library
Jeffrey, Richard
New York: McGraw-Hill, 1981
160 JEF f
Buku Teks SO Universitas Indonesia Library
