Computability and Logic Computability and unsolvability Human in reality and logic Forecast and logic Muslim and logic 并列题名：Human in reality and logic Experience and logic Liability and loyalty Mathematics and logic Computability.