Technical Terms Mathematical Logic: The discipline that studies formal systems, symbolic reasoning, and the structure of mathematical proofs.

Ludwik Borkowski, Jerzy Słupecki, A Logical System Based on Rules and Its Application in Teaching Mathematical Logic, Studia Logica: An International Journal for Symbolic Logic, T. 7 (1958), pp.

Using a contextual method the specific development of logic between c. 1830 and 1930 is explained. A characteristic mark of this period is the decomposition of the complex traditional philosophical ...