"logick\u00FD kalkulus"@cs . "logick\u00FDch kalkul\u016F"@cs . "logick\u00E9 kalkuly"@cs .