YetSchemeAnotherTutorial中译版Scheme最佳入门为SCIP做准备

数理逻辑，经典本科教材，英文第六版，略讲二阶逻辑。