The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an ...
Manipulating content within fixed logical structures. In each of the author’s three datasets, they instantiate different versions of the logical problems. Different versions of a problem offer the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback