Concepedia
The British Journal for the Philosophy of Science · 1963 · 186 citations · 0 references
ComputingComputer ScienceFormal MethodsPredicate LogicProof AssistantsProof CommunicationProof ComplexityProof WritingTheorem ProvingRewrite Systems