Logic, Symbolic and mathematical

An introduction to mathematical logic by: (Language materials, printed)

Logic for applications by: (Language materials, printed)

Foundation of abstract mathematics by: (Language materials, printed)

Reasoning about uncertainty by: (Language materials, printed)

Elements of causal inference : foundations and learning algorithms by: (Language materials, printed)

Mathematics

Computer algorithms

Uncertainty (Information theory)

Inference

Q375

Probabilities

Computer science

Machine learning

Q325.5

Logic, Symbolic and mathematical

005.101

Reasoning

003/.54

511.3

Causation

006.3/1