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