Effective Skolemization
Book chapter (August 2023)
The most recent citing publications are shown below. View all 71 publications that cite this research output on Dimensions.
Book chapter (August 2023)
Article in Journal of Mathematical Logic (May 2023)
Preprint in arXiv (February 2023)