Publication:5715108

Publication date: 20 December 2005

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

03B10: Classical first-order logic

03B35: Mechanization of proofs and logical operations

03B05: Classical propositional logic

03F07: Structure of proofs

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)