Gaya APA

R, M, G. (2021). PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION . : World Scientific Publishing Co.

Gaya MLA

R, MAR, GARY. "PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION". : World Scientific Publishing Co, 2021. S2-Pendidikan Bahasa Arab.