Review: G. S. Cejtin, Associative Calculus with Unsolvable Equivalence Problem [Book Review]

Journal of Symbolic Logic 30 (2):254-255 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270167

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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: G. S. Cejtin, An Associative Calculus with an Unsolvable Equivalence Problem. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (2):219-219.
Review: G. S. Cejtin, Concerning the Problem of Recognizing Properties of Associative Calculi. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (2):219-220.
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
Classical Non-Associative Lambek Calculus.Philippe De Groote & François Lamarche - 2002 - Studia Logica 71 (3):355 - 388.
The interpretation of unsolvable λ-terms in models of untyped λ-calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
A rule-extension of the non-associative Lambek calculus.Heinrich Wansing - 2002 - Studia Logica 71 (3):443-451.
The Interpretation of Unsolvable $lambda$-Terms in Models of Untyped $lambda$-Calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
Some Results on Numeral Systems in $\lambda$ -Calculus.Benedetto Intrigila - 1994 - Notre Dame Journal of Formal Logic 35 (4):523-541.
Review: A. Markov, On an Unsolvable Problem Concerning Matrices. [REVIEW]Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (2):152-152.
The quantitative problem of old evidence.E. C. Barnes - 1999 - British Journal for the Philosophy of Science 50 (2):249-264.
Review: Hugues Leblanc, An Extension of the Equivalence Calculus. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (2):248-248.
Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):55-56.

Analytics

Added to PP
2013-11-22

Downloads
12 (#1,054,764)

6 months
5 (#652,053)

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