Old Web
English
Sign In
Acemap
>
Paper
>
TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
2018
Kentaro Fujimoto
Keywords:
Discrete mathematics
Mathematics
Set theory
Calculus
Correction
Source
Cite
Save
Machine Reading By IdeaReader
19
References
2
Citations
NaN
KQI
[]