Metadata
Author: ParaCrawl Corpus
Data
Czech[cs]
Důkazové metody pro výrokovou logiku: metoda sémantických tabulek, přirozená dedukce, rezoluce.
English[en]
Application of number theory in Proof techniques for propositional logic: syntax tables, natural deduction, resolution.