Login
Login

Henkin semantics

  1. REDIRECT Second-order logic#Semantics {{redirect category shell|{{R to section}}{{R from subtopic}}}}