Theoremdex.org
Definitions
,
Results
,
Conjectures
0.
Set of symbols
1.
Alphabet
Deduction system
<No formulations for this definition yet>
Also known as
Formal proof system, Formal deductive system, Proof calculus, Calculus