Deductive apparatus
Redirect to:
Formal system#Deductive inference