型理論を理解するためのロードマップ

基本的には少しずつオーバーラップしているはず。
「論理と計算のしくみ」はぜひ読んでほしいです。この本に論理の説明もあるので、先にこれを買って、わからなければさかのぼる感じでいいかも。

論理学に入門する

入門!論理学 (中公新書)

論理学をもすこし勉強する

論理学

計算とつなげる

論理と計算のしくみ (岩波オンデマンドブックス)

プログラミング言語を学ぶ

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))

壁にたちむかう
これは、「プログラミング言語の基礎概念」で ものたりないって思ったときだけ手を出すくらいでいいです。

型システム入門 −プログラミング言語と型の理論−