Universidad Nacional de Córdoba-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2014

  1. Completeness in Hybrid Type Theory

    Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238