Polymorphic Type Inference and Semi-Unification (Classic Reprint)

Implication and Linear Inference (Classic Reprint)

Polymorphic Type Inference and Semi-Unification (C

Linear Statistical Inference and its Applications - Radhakrishna Rao

Implication and Linear Inference (Classic Reprint)

The Principles of Logic, Vol. 2 (Classic Reprint)

Inference, 1985 (Classic Reprint)

Information Theory, Inference, and Learning Algorithms - David J.C. MacKay