You are here

Second-order Logic of Henkin