Historically, it was initially a formalization of mathematical language and reasoning, proposed by G. Frege between the end of the 19th and the beginning of the 20th century, and "popularized" by B.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback