- Integration of CiNii Books functions for fiscal year 2025 has completed
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on November 26, 2025】Regarding the recording of “Research Data” and “Evidence Data”
- Incorporated Jxiv preprints from JaLC and adding coverage from NDL Search
The Language of First Order Logic. Tarski's World
Bibliographic Information
- Published
- 1990
Journal
-
- Center for the Study of Language and Information
-
Center for the Study of Language and Information 1990
- Tweet
Details 詳細情報について
-
- CRID
- 1571698599880474624
-
- NII Article ID
- 10011369189
-
- Data Source
-
- CiNii Articles
