Completeness in Hybrid Type Theory

  1. Areces, C.
  2. Blackburn, P.
  3. Huertas, A.
  4. Manzano, M.
Aldizkaria:
Journal of Philosophical Logic

ISSN: 1573-0433,  0022-3611

Argitalpen urtea: 2014

Alea: 43

Zenbakia: 2-3

Orrialdeak: 209-238

Mota: Artikulua

DOI: 10.1007/S10992-012-9260-4 GOOGLE SCHOLAR