Computability and logic

Boolos, George.
Cambridge [Eng.] : University Press, [1974]

Computability and logic.

Boolos, George.
Cambridge ; New York : Cambridge University Press, 2002.
4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.

Computability and logic.

Boolos, George.
Cambridge ; New York : Cambridge University Press, 2007.
5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.

Formal logic: its scope and limits

Jeffrey, Richard C.
New York : McGraw-Hill, [1967]

Logic, logic, and logic

Boolos, George.
Cambridge, Mass : Harvard University Press, 1998.

The logic of strategy

New York : Oxford University Press, 1999.

Statistical explanation & statistical relevance

Salmon, Wesley C.
[Pittsburgh] : University of Pittsburgh Press, [1971]

Subjective probability : the real thing

Jeffrey, Richard C.
Cambridge, U.K. ; New York : Cambridge University Press, 2004.