First Page | Document Content | |
---|---|---|
![]() Date: 2005-09-13 07:36:26Proof assistants Theoretical computer science Logic in computer science Mathematical logic Isabelle Logic for Computable Functions Mathematics Resolution Constructible universe Theorem prover LCF Formal methods | Add to Reading List |