Gaya APA

AL, M, K, E. (2020). PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION . : .

Gaya MLA

AL, MAINZER, KLAUS, ET. "PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION". : , 2020. Hukum Ekonomi Syariah (Mua'malah).