*Javascript*to function properly

# Bibliography

Peirce's First-Order Logic of 1885

## Tabs

Type:

Article in Journal

Title:

Peirce's First-Order Logic of 1885

Year:

1998

Journal:

Transactions of the Charles S. Peirce Society

Volume:

34

Issue:

4

Pages:

949-976

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:

ISSN:

00091774

Language:

English

*Transactions of the Charles S. Peirce Society*,

*34*(4), 949-976.

The entry in BibTeX format.

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}"

}

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}"

}