higher-order logic

From: alex goldman (hello_at_spamm.er)
Date: 01/27/05 

Date: Thu, 27 Jan 2005 05:16:13 -0800

I'm interested in learning more about higher-order logic: its computational
aspects, inference and learning algorithms, and perhaps uncertainty
representation.

The books on higher-order logic that I found appear to actually be tutorials
on using specific proof assistance software products (HOL or Isabelle),
which is not what I want.

Does anyone have any suggestions or links to resources? (No research paper
plugs please, however)