«Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller» (2025) [KSIĄŻKA] Autor: Dale Miller • DVDmax.pl