Nordan Symposia

Search results

Result 1 of 1
Advanced search

Search in namespaces:

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

  • 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"