Unity of Logic and Computation المزيد من كتب Gianluca Della Vedova, Besik Dundua, Steffen Lempp & Florin Manea

Beyond the Horizon of Computability

٢٠٢٠