Computability and Logic
By George S. Boolos, John P. Burgess, Richard C. Jeffrey
 
 
Scientific Reasoning: The Bayesian Approach
By Colin Howson, Peter Urbach