Bibliography

Peirce's First-Order Logic of 1885

author = "John Byrnes",
title = "{Peirce's First-Order Logic of 1885}",
year = 1998,
journal = "Transactions of the Charles S. Peirce Society",
volume = 34,
number = "4",
pages = "949-976",
issn = "00091774",
abstract = "{Analyzes a formal system which captures the calculus presented by Peirce in his book 'On the Algebra of Logic: A Contribution to the Philosophy of Notation.' Aims of Peirce to develop an algebra adequate to the treatment of all problems of deductive logic; Use of a version of natural deduction to characterize modem first order logic; Discussion of the types of signs.}",
keywords = "Logic",
language = "English",
note = "From the Commens Bibliography | \url{http://www.commens.org/bibliography/journal_article/byrnes-john-1998-peirces-first-order-logic-1885}"
}