First Page | Document Content | |
---|---|---|
![]() Date: 2012-06-04 13:35:50Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable | Add to Reading List |