Return to Article Details
Strong Normalization for First-order Logic
Download
Download PDF