731 404 Andrews P. An Introduction to Mathematical Logic and Type Theory…2ed 2002, Jika Punya PDF/Ebook ingin di jadikan buku fisik silahkan chat admin ya kak