Equality in f21

Journal of Symbolic Logic 38 (4):571 - 575 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271982

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Review: J. Roger Hindley, Jonathan P. Seldin, Introduction to Combinators and $lambda$-Calculus. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.
Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
J. Roger Hindley and Jonathan P. Seldin. Introduction to combinators and λ-calculus. London Mathematical Society student texts, no. 1. Cambridge University Press, Cambridge etc. 1986, vi + 360 pp. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.
J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp. [REVIEW]Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):518.
L. Jonathan Cohen. Can the logic of indirect discourse be formalised?The journal of symbolic logic, vol. 22 , pp. 225–232. - A. N. Prior. Epimenides the Cretan. The journal of symbolic logic, vol. 23 no. 3 , pp. 261–266. - R. L. Goodstein. On the formalisation of indirect discourse. The journal of symbolic logic, vol. 23 no. 4 , pp. 417–419. - L. Jonathan Cohen. Professor Goodstein's formalisation of the policeman. The journal of symbolic logic, vol. 23 no. 4 , p. 420. [REVIEW]S. Kanger - 1968 - Journal of Symbolic Logic 32 (4):549-550.
Reviewed Work(s): Symposium: Entailment. I by C. Lewy; Symposium: Entailment. II by John Watling; Symposium: Entailment. III by P. T. Geach; On a Recent Account of Entailment by Jonathan Bennett. [REVIEW]Holdcroft D. - 1960 - Journal of Symbolic Logic 25 (4):334-336.
Halmos Paul R.. Predicates, terms, operations, and equality in polyadic Boolean algebras. Proceedings of the National Academy of Sciences of the United States of America, t. 42 , p. 130–136. [REVIEW]Roland Fraïssé - 1960 - Journal of Symbolic Logic 25 (2):168-168.
Review: Jonathan Bennett, Meaning and Implication. [REVIEW]T. J. Smiley - 1956 - Journal of Symbolic Logic 21 (4):393-394.
Review: L. Jonathan Cohen, The Diversity of Meaning. [REVIEW]Jonathan Bennett - 1971 - Journal of Symbolic Logic 36 (2):316-318.

Analytics

Added to PP
2009-01-28

Downloads
3 (#1,729,579)

6 months
42 (#98,106)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references