【资源拓展】A mathematical introduction to logic