Talk:Thomas Oliver (logician)