Procedural Semantics for Hyperintensional Logic

Foundations and Applications of Transparent Intensional Logic

Authors:

ISBN: 978-90-481-8811-6 (Print) 978-90-481-8812-3 (Online)