2019-02-01から1ヶ月間の記事一覧
2018年度後期授業の補足も兼ねて、以下の要領で1日論理学ミニコースを行います。成績には一切関係ありませんが、お暇な方はお越し下さい。 日時:3月9日(土) 10:30〜16:30 場所:京都大学文学部第6講義室 要旨は以下の通り。 自然演繹は、導入規則と除去…
2018年度後期授業の補足も兼ねて、以下の要領で1日論理学ミニコースを行います。成績には一切関係ありませんが、お暇な方はお越し下さい。 日時:3月9日(土) 10:30〜16:30 場所:京都大学文学部第6講義室 要旨は以下の通り。 自然演繹は、導入規則と除去…