Frege's Logic, Theorem, and Foundations for Arithmetic
Stanford Encyclopedia of Philosophy A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z Frege's Logic, Theorem, and Foundations for Arithmetic Frege formulated two distinguished formal systems and used these systems in his attempt both to express certain basic concepts of mathematics precisely and to derive certain mathematical laws from the laws ...
|
Logicians@