Frege's Begriffsschrift is First-order Complete

Publication Year:
2017
Usage 160
Downloads 160
Social Media 1
Tweets 1
Repository URL:
http://philsci-archive.pitt.edu/id/eprint/13245
Author(s):
Liu, Yang
Most Recent Tweet View All Tweets
preprint description
A short proof of completeness of the first-order part of Begriffsschrift