«Proof Complexity Generators: 497 (London Mathematical Society Lecture Note Series, Series Number 497) - Jan Krajíček» [KSIĄŻKA] Autor: Jan Krajíček • DVDmax.pl