First Page | Document Content | |
---|---|---|
![]() Date: 2003-12-10 05:30:33Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic | Add to Reading List |