Formalization of logic

Cambridge, Mass.,: Harvard university press (1943)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1944

Call number

BC108.C28

ISBN(s)

x

DOI

10.2307/2181359
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
On the formalization of semantic conventions.James G. Williams - 1990 - Journal of Symbolic Logic 55 (1):220-243.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.
Introduction to symbolic logic and its applications.Rudolf Carnap - 1958 - New York,: Dover Publications.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.

Analytics

Added to PP
2010-05-13

Downloads
101 (#172,382)

6 months
22 (#122,772)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.
Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.

View all 63 citations / Add more citations

References found in this work

No references found.

Add more references