Besonderhede van voorbeeld: 7389496998924143199

Metadata

Author: Literature

Data

English^[en]

Names of the intuitionist propositional calculus.

Spanish^[es]

I, IC Nombres del cálculo proposicional intuicionista.

History

Your action: