Bounded-variable logics : two, three, and more
Berlin ; Heidelberg / Springer (1999) [Fachzeitschriftenartikel]
Archive for mathematical logic
Band: 38
Seite(n): 235-256
Autorinnen und Autoren
Autorinnen und Autoren
Otto, Martin
Identifikationsnummern
- DOI: 10.1007/s001530050127
- REPORT NUMBER: RWTH-CONV-045855