First Page | Document Content | |
---|---|---|
![]() Date: 2016-08-01 05:50:10Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof | Add to Reading List |