Lógica_de_orden_superior
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Lógica_de_orden_superior
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Teoría_de_modelos
dbpedia-latam:
Teoría_de_tipos