Open main menu
Home
Random
Log in
Settings
About Nordan Symposia
Disclaimers
Search
Search results
Search
Result
1
of
1
Content pages
Multimedia
Everything
Advanced
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