«Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Zhe Hou» (2022) [KSIĄŻKA] Autor: Zhe Hou • DVDmax.pl