Gerstein, Larry J., authir
Introduction to mathematical structures and proofs
[Springer, ], 2012
 eBooks
Morash, Ronald P., author
Bridge to abstract mathematics: mathematical proof and structures
Random House, 1987
 Buku Teks
Carnap, Rudolf, author
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Bundy, Alan, author
The computer modelling of mathematical reasoning
Academic Press, 1983
 Buku Teks
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   >>