Liu, Yang (2017) Frege's Begriffsschrift is First-order Complete. [Preprint]
This is the latest version of this item.
|
Text
BegriFinal.pdf Download (45kB) | Preview |
Abstract
A short proof of completeness of the first-order part of Begriffsschrift
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | completeness, Frege, Begriffsschrift, first-order | ||||||
Subjects: | Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics |
||||||
Depositing User: | Dr Yang Liu | ||||||
Date Deposited: | 22 Jul 2017 14:03 | ||||||
Last Modified: | 24 Jul 2017 15:23 | ||||||
Item ID: | 13245 | ||||||
Subjects: | Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics |
||||||
Date: | 30 June 2017 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/13245 |
Available Versions of this Item
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |