Unity of Logic and Computation Unity of Logic and Computation
٢٠٢٣
Beyond the Horizon of Computability Beyond the Horizon of Computability
٢٠٢٠