First Page | Document Content | |
---|---|---|
![]() Date: 2011-02-08 09:50:34Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion | Add to Reading List |