1_Xs0Szv0c_面向计算机科学的数理逻辑：系统建模与推理（第2版）[（德）Michael.Huth （英）Mark.Ryan]

Huth