Ditemukan 483 dokumen yang sesuai dengan query
Hurley, Patrick J., 1883-1963, author
Singapore : Wadsworth and Cengage Learning, 2012
160 HUR c
Buku Teks Universitas Indonesia Library
Hurley, Patrick J., 1883-1963, author
Sydney: Wardsworth Cengage Learning, 2012
160 HUR c
Buku Teks Universitas Indonesia Library
Copi, Irving M., author
New York, NY: Macmillan, 1961
160 COP i
Buku Teks Universitas Indonesia Library
Copi, Irving M., author
New Jersey: Prentice-Hall, 1995
160 COP i (2)
Buku Teks Universitas Indonesia Library
Boolos, George, author
Cambridge, UK: Harvard University Press, 1998
160 BOO l
Buku Teks Universitas Indonesia Library
Jeffrey, Richard, author
New York: McGraw-Hill, 1981
160 JEF f
Buku Teks Universitas Indonesia Library
Siti Aminah, author
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
Cargill, S.T., author
London: Rider, 1987
160 CAR p
Buku Teks Universitas Indonesia Library
Almaini, A.E.A. (Adib E.A.), 1945-
New York: Prentice-Hall, 1989
621.395 ALM e
Buku Teks Universitas Indonesia Library
Marcovitz, Alan B.
CD-ROM contains: Altera Max+Plus II 9.23 Student edition -- Yoeric's Winbreadboard.
...
Boston: McGraw-Hil, 2002
621MARI002
Multimedia Universitas Indonesia Library