Frege's Begriffsschrift is Indeed First-Order Complete

DOI10.1080/01445340.2017.1350549zbMath1417.03016OpenAlexW2736873324WikidataQ57678872 ScholiaQ57678872MaRDI QIDQ4608200

Yang Liu

Publication date: 16 March 2018

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2017.1350549

Mathematics Subject Classification ID

Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (1)

Logic and Sets

Cites Work

• Unnamed Item

This page was built for publication: Frege's Begriffsschrift is Indeed First-Order Complete