Ihre Suche nach „(Second-order) Intuitionistic Logics“ ergab 1 Treffer: