Abstract
We give a constructive proof of Skolem’s Theorem for coherent logic and discuss several applications, including a negative answer to a question by Wraith.
Filter Results
Select search scope: search across all journals or within the current journal
Search this journal
Enter search terms…
/