Description: Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people