Completeness of infinitary heterogeneous logic - Université de La Réunion
Journal Articles (Review Article) Notre Dame Journal of Formal Logic Year : 2024
No file

Dates and versions

hal-04565553 , version 1 (02-05-2024)

Identifiers

  • HAL Id : hal-04565553 , version 1

Cite

Christian Espíndola. Completeness of infinitary heterogeneous logic. Notre Dame Journal of Formal Logic, In press. ⟨hal-04565553⟩
12 View
0 Download

Share

More