Search results
MyWikiBiz, Author Your Legacy — Saturday April 27, 2024
Jump to navigationJump to search
- ...ness of formalized logic of any sort for mathematics. His student [[Arend Heyting]], postulated an [[intuitionistic logic]], different from the classical [[A73 KB (10,917 words) - 19:48, 6 September 2017
- ...ness of formalized logic of any sort for mathematics. His student [[Arend Heyting]], postulated an [[intuitionistic logic]], different from the classical [[A177 KB (26,694 words) - 02:20, 15 December 2010