Wyszukiwarka
Wyniki wyszukiwania dla frazy "logic gromem", znaleziono 1
/7389d82c86dff18747bfeedc645531a7/n/internal-logic-foundations-of-mathematics-from-kronecker-to-hilbert)
Internal Logic. Foundations of Mathematics from Kronecker to Hilbert
Yvon Gauthier
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynom...
