Harrie C. M. de Swart A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:1, pp:1-20 [Journal]

Stevo Todorcevic Real Functions on the Family of All Well-Ordered Subsets of a Partially Ordered Set. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:1, pp:91-96 [Journal]

Eugene W. Madison The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:1, pp:167-170 [Journal]

Daniel Leivant The Optimality of Induction as an Axiomatization of Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:1, pp:182-184 [Journal]

Chi Tat Chong Hyperhypersimple Supersets in Admissible Recursion Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:1, pp:185-192 [Journal]