Introduction, Historical Background.- Syntax and Semantics of Probability Logics.- Completeness.- Decidability.- Heuristic Procedure...