Basic Proof Theory - Troelstra, A. S. (Universiteit van Amsterdam) a Schwichtenberg, H. (Universitat Munchen)1 531 Kč
Quantum Approach to Informatics - Stenholm, Stig (Royal Institute of Technology, Stockholm) a Suominen, Kalle-Antti (University of Turku)3 502 Kč
