Description: UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people