Profiles
- 1 results
Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory
Research output: Contribution to journal › Article (Academic Journal) › peer-review
7
Citations
(Scopus)
363
Downloads
(Pure)