１から始める数学

数字の１を定義するところから始めて現代数学を築きます。ブログの先頭に戻りたいときは、表題のロゴをクリックして下さい。

2022-08-13から1日間の記事一覧

現代論理学（その３８）

直観主義論理は、差し当たって、考えなくていいのか。 ハーパーの『生化学』原書では第３２版が、出ている。