This is a draft of a chapter on mathematical logic and foundations for an
upcoming handbook of computational proof assistants.
There are no comments yet.
Azure Foundations Editor
Solutions for software foundations textbook
Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.
Sign up for DeepAI
Join one of the world's largest A.I. communities
Already have an account? Login here
Login to DeepAI
Don't have an account? Signup here