コンパクトな論理学入門書です。わかりやすく、読みやすい本です。