Rosen, Kenneth H.
Discrete mathematics and its applications/ Kenneth H. Rosen ; global edition adapted by Kamala Krithivasan
McGraw-Hill Medica, 2013
Buku Teks
Truth, syntax and modality : proceedings of the temple university conference on alternative semantics / Edited by Hugues Leblanc
edited by Hugues Leblanc
Nort-Holland Publishing Company, 1973
Buku Teks
Manna, Zohar
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
eBooks
Luke Ong, editor
Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
Hyman, Anthony
Charles Babbage : pioneer of the computer / Anthony Hyman.
Oxford University Press, 1982
Buku Teks SO