Search results

From Nordan Symposia
Jump to navigationJump to search

  • Logic
    ...[[Arend Heyting]] studied intuitionistic logic formally, as did [[Gerhard Gentzen]]. Intuitionistic logic has come to be of great interest to computer scien
    33 KB (4,933 words) - 01:20, 13 December 2020
Retrieved from "http://nordan.daynal.org/wiki/Special:Search"