Metadata
Author: ParaCrawl Corpus
Data
English[en]
This paper will be concerned with the latter two points, primarily as they arise in the context of extensional first-order languages.
Spanish[es]
Este trabajo abordará los últimos dos puntos fundamentalmente como se plantean en el contexto de los lenguajes extensionales de primer orden.