Logika 20. století: mezi filosofií a matematikou