Grundlagen der Arithmetik, §17: Part 1. Frege’s Anticipation of the Deduction Theorem

章节
出版模式：

开放获取
发表日期：

2024年

查看全文

Göran Sundholm

摘要

A running commentary is offered on the first half of Frege’s Grundlagen der Arithmetik, §17, and suggests that Frege anticipated the method of demonstration used by Paul Bernays for the Deduction Theorem.