New sets of postulates for combinatory logics

Journal of Symbolic Logic 7 (1):18-27 (1942)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267551

Links

PhilArchive



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

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

New Sets of Postulates for Combinatory Logics.Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (3):122-123.
Rosser Barkley. New sets of postulates for combinatory logics.H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
Review: Barkley Rosser, New Sets of Postulates for Combinatory Logics. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
Review: Barkley Rosser, On the Many-Valued Logics. [REVIEW]Alonzo Church - 1941 - Journal of Symbolic Logic 6 (3):109-109.
Rosser Barkley. Gödel theorems for non-constructive logics. [REVIEW]R. Carnap - 1938 - Journal of Symbolic Logic 3 (1):50-50.
Review: Barkley Rosser, Godel Theorems for non-Constructive Logics. [REVIEW]R. Carnap - 1938 - Journal of Symbolic Logic 3 (1):50-50.
Rosser J. Barkley and Wang Hao. Non-standard models for formal logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
The Church-Rosser property in symmetric combinatory logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
Review: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
Rosser Barkley. On the many-valued logics. American journal of physics, vol. 9 , pp. 207–212.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (3):109-109.

Analytics

Added to PP
2009-01-28

Downloads
31 (#503,596)

6 months
11 (#339,306)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.

Add more citations

References found in this work

The Calculi of Lambda-Conversion.Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-171.

Add more references