FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Journal of Symbolic Logic
Journal Abbreviation:
J SYMBOLIC LOGIC
ISSN:
0022-4812
Publisher:
Association for Symbolic Logic
Publications (1)
Types of publications
Journal article
Journal article
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Filters (inactive)
Higher-order semantics and extensionality (2004)
Kohlhase M, Benzmüller C, Brown C
Journal article, Original article