Alan Rose. A formalisation of the ℵ 0 -valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294 [Book Review]

Journal of Symbolic Logic 35 (1):143-143 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

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

Through your library

Analytics

Added to PP
2015-02-05

Downloads
17 (#1,148,884)

6 months
7 (#702,633)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references