Completeness in Equational Hybrid Propositional Type Theory

  1. Manzano, M.
  2. Martins, M.
  3. Huertas, A.
Zeitschrift:
Studia Logica

ISSN: 1572-8730,  0039-3215

Datum der Publikation: 2019

Ausgabe: 107

Nummer: 6

Seiten: 1159-1198

Art: Artikel

DOI: 10.1007/S11225-018-9833-5 GOOGLE SCHOLAR
Datenquelle: Scopus