Morash, Ronald P., author
Bridge to abstract mathematics: mathematical proof and structures
Random House, 1987
 Buku Teks
Kurtz, David C., author
Foundations of abstract mathematics
McGraw-Hill, 1992
 Buku Teks
Gerstein, Larry J., authir
Introduction to mathematical structures and proofs
[Springer, ], 2012
 eBooks
Carnap, Rudolf, author
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Sulistomo Adie Suwarno, author
Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.
Universitas Indonesia, 2005
 UI - Skripsi Membership
<<   1 2 3   >>