The ϱ‐Calculus

&
Mathematical Logic Quarterly 27 (7):97-110 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810270702

Links

PhilArchive



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

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

The ϱ-Calculus.C. T. Jones & P. Kelemen - 1981 - Mathematical Logic Quarterly 27 (7):97-110.
The ϱ-Calculus.C. K. R. T. Jones & P. J. Kelemen - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):97-110.
Eine Bemerkung Zur Spektralen Darstellung Von ϱ‐Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ϵ∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1). [REVIEW]Michael Deutsch - 1988 - Mathematical Logic Quarterly 34 (2):163-176.
Review: R. K. P. Singh, R. Shukla, A Note on Gotlind's Axiom System for the Calculus of Propositions. [REVIEW]Nicholas Rescher - 1952 - Journal of Symbolic Logic 17 (1):66-67.
On a problem in algebraic model theory.Bui Huy Hien - 1982 - Bulletin of the Section of Logic 11 (3/4):103-107.
Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1). [REVIEW]Michael Deutsch - 1989 - Mathematical Logic Quarterly 35 (6):517-529.
The Logical enterprise.Alan Ross Anderson, Ruth Barcan Marcus, Richard Milton Martin & Frederic Brenton Fitch (eds.) - 1975 - New Haven: Yale University Press.
Review: C. P. J. Koymans, Models of the Lambda Calculus. [REVIEW]Giuseppe Longo - 1987 - Journal of Symbolic Logic 52 (1):284-285.
Partition Relations for Strongly Normal Ideals on P~k~a~p~p~a(Lambda).P. Matet - 2000 - Mathematical Logic Quarterly 46 (1):87-104.
Singh R. K. P. and Shukla R.. A note on Gôtlind's axiom system for the calculus of propositions. The mathematics student, vol. 18 , pp. 108–110. [REVIEW]Nicholas Rescher - 1952 - Journal of Symbolic Logic 17 (1):66-67.

Analytics

Added to PP
2013-12-01

Downloads
8 (#1,343,911)

6 months
3 (#1,046,495)

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