Mathematical Logic as Based on the Theory of Types

, &
Journal of Symbolic Logic 39 (2):356-356 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272708

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: Bertrand Russell, Irving M. Copi, James A. Gould, Mathematical Logic as Based on the Theory of Types. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):356-356.
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
Review: W. V. Quine, Introductory Note; Bertrand Russell, Mathematical Logic as Based on the Theory of Types. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355-356.
""Bertrand Russell," On Denoting"(1905) and" Mathematical Logic as Based on the Theory of Types"(1908).Stewart Shapiro - 2003 - In Jorge J. E. Gracia, Gregory M. Reichberg & Bernard N. Schumacher (eds.), The Classics of Western Philosophy: A Reader's Guide. Blackwell. pp. 460.
1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115.John Corcoran - 1983 - MATHEMATICAL REVIEWS 83:03005.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
The Theory of Logical Types: Monographs in Modern Logic.Irving M. Copi - 2011 - Routledge.
On Theories Having Three Countable Models.Koichiro Ikeda, Akito Tsuboi & Anand Pillay - 1998 - Mathematical Logic Quarterly 44 (2):161-166.
Abstract Data Types and Type Theory: Theories as Types.Ruy J. B. de Queiroz - 1991 - Mathematical Logic Quarterly 37 (9-12):149-166.
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
The Non-unique Universe.Gordon McCabe - 2010 - Foundations of Physics 40 (6):629-637.
Bertrand Russell and the introduction of mathematical logic in China.Xu Yibao - 2003 - History and Philosophy of Logic 24 (3):181-196.
Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
From Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds.Dr Claus Brillowski - unknown

Analytics

Added to PP
2017-02-21

Downloads
23 (#664,515)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.
Pointers to Truth.Haim Gaifman - 1992 - Journal of Philosophy 89 (5):223.
Circularity and Paradox.Stephen Yablo - 2006 - In Thomas Bolander, Vincent F. Hendricks & Stig Andur Pedersen (eds.), Self-Reference. CSLI Publications. pp. 139--157.
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction.Ansten Klev - 2023 - Notre Dame Journal of Formal Logic 64 (2):205-223.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references