First Page | Document Content | |
---|---|---|
![]() Date: 2013-12-01 12:53:36Temporal logic Mathematical logic Theoretical computer science Finite model theory Linear temporal logic Symbol FO Constructible universe IP Computation tree logic Model theory Mathematics | Add to Reading List |