TY - RPRT TI - On translating conditional statements into mathematical logic AU - Kamaledin Ghiasi-Shirazi PY - 2022 UR - https://arxiv.org/abs/2208.00252 ID - 2208.00252 ER -