A Note on Morse's Lambda‐Notation in Set Theory

Mathematical Logic Quarterly 24 (8):113-114 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780240802

Other Versions

reprint Bridges, Douglas S. (1978) "A Note on Morse's Lambda-Notation in Set Theory". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24(8):113-114

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,035

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

Douglas Bridges and Fred Richman. Varieties of constructive mathematics. London Mathematical Society lecture note series, no. 97. Cambridge University Press, Cambridge etc. 1987, x + 149 pp. [REVIEW]D. van Dalen - 1991 - Journal of Symbolic Logic 56 (2):750-751.
A set theory with support for partial functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
Dictionary of Logical Terms and Symbols.Carol Horn Greenstein - 1978 - New York, NY, USA: Van Nostrand Reinhold Company.
A note on the modal calculi S 4.2 and S 4.3.R. Bull - 1964 - Mathematical Logic Quarterly 10 (4):53-55.
The judgement calculus for intuitionistic linear logic: Proof theory and semantics.Silvio Valentini - 1992 - Mathematical Logic Quarterly 38 (1):39-58.
Pairings on Lambda Algebras.W. S. Hatcher & Marcel Tonga - 1991 - Mathematical Logic Quarterly 37 (19-22):343-352.
Lambda‐Algebras and C‐Monoids.W. S. Hatcher & P. J. Scott - 1986 - Mathematical Logic Quarterly 32 (25-30):415-430.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1976 - Mathematical Logic Quarterly 23 (7-12):1169-180.

Analytics

Added to PP
2013-11-24

Downloads
43 (#495,911)

6 months
5 (#998,986)

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

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
A Theory of Sets.Anthony P. Morse - 1965 - Academic Press.

Add more references