학술논문
How to make (mathematical) assertions with directives
Document Type
Article
Author
Source
In: Synthese . (Synthese, November 2023, 202(5))
Subject
Language
English
ISSN
15730964
00397857
00397857