Proof /
Proof theory : the first step into impredicativity /
The unbearable burden of history the sovietization of Czechoslovakia. Volume 1, From munich to Yalta /
The unbearable burden of history the sovietization of Czechoslovakia. Volume 2, Prague spring revisited /
The unbearable burden of history the sovietization of Czechoslovakia. Volume 3, The era of abnormalization /
The size of others´ burdens : Barack Obama, Jane Addams, and the politics of helping others /
Formal development of programs and proofs. /
International burden sharing in greenhouse gas reduction. /
Burdened areas of the Slovak Republic´s enviroment 2016 /
Proof and disproof in formal logic : an introduction for programmers /
Hacker Proof. : Váš počítač, vaše síť a vaše připojení na Internet. Je to opravdu bezpečné? /
Combinators, λ-terms and proof theory.
Hack proofing sun Solaris 8 /
Explosion-proof Signal Tower EDLM/EDWM.
Assessment of toxicological aspects of milk production in areas with different environmental burden /
Pleading guilty /
Pod ťarchou viny. /
Mechanical Testing of Metallic Materials With Special Reference to Proof Stress /
The burden of proof /