Besonderhede van voorbeeld: -2755049930644397589

Czech

Základní formalismy - věta, důkaz a výroková logika.

English

Basic formalisms - statements, proofs, and propositional logic.