Elements of Logical Reasoning
Turing Machine, Godel
Mathematics and Mathematical Logic
A research paper about Bools's theory of logic
Per Martin-Löf's essay "The Definition of Random Sequences" , Information and...
An explaination of the foundations of
Per Martin-Löf's Beth Lecture: "The Hilbert Brouwer Controversy Resolved?"
Per Martin-Löf's essay "An Intuitionistic Theory of Types",
Sorry, we are unable to log you in via Facebook at this time. Please try again later.
By joining, you agree to our
Already a member? Sign in.
Continue as Guest
This action might not be possible to undo. Are you sure you want to continue?