Ditemukan 129 dokumen yang sesuai dengan query
Fearnside, W. Ward, author
New Jersey: Prentice-Hall, 1997
160 FEA a
Buku Teks Universitas Indonesia Library
Khalimi, author
Jakarta : Gaung Persada (GP) Press, 2011
297.261 KHA l (1)
Buku Teks Universitas Indonesia Library
Pratt, Scott L
Somerset: Wiley, 2015
160 PRA l
Buku Teks Universitas Indonesia Library
E. Sumaryono, author
Yogyakarta: Kanisius, 1999
150 SUM d
Buku Teks Universitas Indonesia Library
Siti Aminah, author
ABSTRAK
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.
...
1988
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Fakultas Ilmu Sosial dan Ilmu Politik Universitas Indonesia, 2004
S8191
UI - Skripsi (Membership) Universitas Indonesia Library
Carnap, Rudolf, author
New York: Dover Publications, 1958
511.3 CAR i
Buku Teks Universitas Indonesia Library
Cook, Roy T., 1972-,author
Cambridge: Polity, 2013
165. COO p
Buku Teks Universitas Indonesia Library
Siregar, Sarli Masnar, author
Depok: Fakultas Teknik Universitas Indonesia, 1994
S38626
UI - Skripsi (Membership) Universitas Indonesia Library
Fakultas Teknik Universitas Indonesia, 1994
S38681
UI - Skripsi (Membership) Universitas Indonesia Library