Mathematical logic and formalized theories

Amsterdam,: North-Holland Pub. Co. (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.R74

ISBN(s)

0444100830

Other Versions

No versions found

Links

PhilArchive



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

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

The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic.Paul Carl Gilmore - 1953 - Amsterdam,: Drukkerij Holland.
Stanley Robert L.. Simplified foundations for mathematical logic.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
Wolf Robert S.. A tour through mathematical logic, The Carus Mathematical Monographs, Number 30. The Mathematical Association of America, Washington, DC, 2005, xv+ 397 pp. [REVIEW]Michael Stob - 2006 - Bulletin of Symbolic Logic 12 (1):141-142.
Review: Robert L. Stanley, Simplified Foundations for Mathematical Logic. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
Robert Vaught. Descriptive set theory in Lω,1ω, Cambridge summer school in mathematical logic, held in Cambridge/England, August 1–21, 1971, edited by A.R.D. Mathias and H. Rogers, Lecture notes in mathematics, vol. 337, Springer-Verlag, Berlin, Heidelberg, and New York, 1973, pp. 574–598. - Robert Vaught. Invariant sets in topology and logic. Fundamenta mathematicae, vol. 82 no. 3 , pp. 269–294. [REVIEW]John P. Burgess - 1982 - Journal of Symbolic Logic 47 (1):217-218.
Logic and Knowledge, Essays, 1901-1950. Edited by Robert Charles Marsh.Bertrand Russell & Robert C. Marsh - 1956 - Allen & Unwin.
Sets, Logic, and Axiomatic Theories.Alfons Borgers - 2003 - San Francisco, CA, USA: W.H. Freeman.
Review: Robert Wall, Introduction to Mathematical Linguistics. [REVIEW]Joseph S. Ullian - 1974 - Journal of Symbolic Logic 39 (3):615-616.

Analytics

Added to PP
2009-01-28

Downloads
17 (#1,161,857)

6 months
6 (#891,985)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Issues in the philosophy of logic: an unorthodox approach.Guillermo E. Rosado Haddock - 2007 - Principia: An International Journal of Epistemology 11 (1):25-44.

Add more citations

References found in this work

No references found.

Add more references