Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 21007 dokumen yang sesuai dengan query
cover
Rosen, Kenneth H.
Discrete mathematics and its applications/ Kenneth H. Rosen ; global edition adapted by Kamala Krithivasan
New York : McGraw-Hill Medica, 2013
511 ROS d
Buku Teks  Universitas Indonesia Library
cover
Rosen, Kenneth H.
Discrete mathematics and its applications / Kenneth H. Rosen,
Boston: McGraw-Hill, 1999
511 ROS d (1)
Buku Teks  Universitas Indonesia Library
cover
Carnap, Rudolf
Introduction to symbolic logic and its
New York: Dover Publications, 1958
511.3 CAR i
Buku Teks  Universitas Indonesia Library
cover
Kurtz, David C.
Foundations of abstract mathematics
New York: McGraw-Hill, 1992
511.3 KUR f
Buku Teks  Universitas Indonesia Library
cover
Morash, Ronald P.
Bridge to abstract mathematics: mathematical proof and structures
New York: Random House, 1987
511.3 MOR b
Buku Teks  Universitas Indonesia Library
cover
Rosen, Kenneth H.
Discrete mathematics and its applications /​ Kenneth H. Rosen.
New York : McGraw-Hill, 1995
511 ROS d
Buku Teks  Universitas Indonesia Library
cover
Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor
New York: Springer-Verlag, 1992
511.3 LOG
Buku Teks  Universitas Indonesia Library
cover
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
London: Springer-Verlag, 2012
511.3 BEN m
Buku Teks  Universitas Indonesia Library
cover
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Sydney: Addison-Wesley Pub. Co., 1989
006.3 RIC c
Buku Teks  Universitas Indonesia Library
cover
Lipschutz, Seymour, 1915-2003
Schaum's outline of theory and problems of discrete mathematics
New York: McGraw-Hill, 1976
511 LIP d (1)
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>