TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
Autor: | FUJIMOTO, KENTARO |
---|---|
Zdroj: | The Journal of Symbolic Logic, 2018 Sep 01. 83(3), 868-898. |
Databáze: | JSTOR Journals |
Externí odkaz: |
Autor: | FUJIMOTO, KENTARO |
---|---|
Zdroj: | The Journal of Symbolic Logic, 2018 Sep 01. 83(3), 868-898. |
Databáze: | JSTOR Journals |
Externí odkaz: |