on_the_building_block_of_mathematical_logic.md

On the building blocks of mathematical logic

SCHONFINKEL, Moses. Gottingen Mathematical Society pp 356-366 1924.

Schonfinkel tem como objetivo a redução do número de termos primitivos na lógica de primeira ordem.

Disponível via acesso Wolfram na Biblioteca Wolfram.

Leitura adicional histórica:

• A little closer to finding what becomes Moses Schonfinkel, inventor of combinators.