ebrary, Inc, & Detlefsen, M. (1992). Proof, logic, and formalization. Routledge.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
ebrary, Inc, juo Michael Detlefsen. Proof, Logic, and Formalization. London ; New York: Routledge, 1992.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
ebrary, Inc, juo Michael Detlefsen. Proof, Logic, and Formalization. Routledge, 1992.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.