Ben-Ari, Mordecchai, 1948-, author
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks
Ben-Ari, Mordechai, author
Mathematical logic for computer science
Springer, 2012
 eBooks
Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor
Springer-Verlag, 1992
 Buku Teks
Manna, Zohar, author
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Handbook of mathematical logic
edited by Jon Barwise; with the cooperation, H.J. Keisler, K. Kunen, Y. N. Moschowakis, A.S. Trioelstra
North-Holland Pub. Co, 1978
 Buku Referensi
<<   1 2 3   >>