"Logische Methoden für die Hierarchie der Hyperlogiken."

Jana Hofmann (2022)

Details and statistics

DOI:

access: open

type: Part in Book or Collection

metadata version: 2023-11-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics