Review: Hao Wang, On Denumerable Bases of Formal Systems [Book Review]

Journal of Symbolic Logic 22 (3):292-293 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963599

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: Hao Wang, Arithmetic Models for Formal Systems. [REVIEW]Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):76-77.
Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
Review: H. Jerome Keisler, Unions of Relational Systems; Jan Mycielski, On Unions of Denumerable Models. [REVIEW]Martin Helling - 1968 - Journal of Symbolic Logic 33 (2):287-287.
Can a language have indenumerably many expressions?Philip Hugly & Charles Sayward - 1983 - History and Philosophy of Logic 4 (1-2):73-82.
Ethical and methodological aspects of medical computer data bases and knowledge bases.Jan Doroszewski - 1988 - Theoretical Medicine and Bioethics 9 (2).
Indenumerability and substitutional quantification.Philip Hugly & Charles Sayward - 1982 - Notre Dame Journal of Formal Logic 23 (4):358-366.
Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam: North-Holland Pub. Co..
Two approaches to developing expert systems: A consideration of formal and semi-formal domains. [REVIEW]Edgar A. Whitley - 1991 - AI and Society 5 (2):110-127.
Some Thoughts on A. H. Louie’s “More Than Life Itself: A Reflection on Formal Systems and Biology”. [REVIEW]Claudio Gutiérrez, Sebastián Jaramillo & Jorge Soto-Andrade - 2011 - Axiomathes 21 (3):439-454.
Some Remarks on the Physicalist Account of Mathematics.Ferenc Csatári - 2012 - Open Journal of Philosophy 2 (2):165.
The Ethics “Fix”: When Formal Systems Make a Difference.Kristin Smith-Crowe, Ann E. Tenbrunsel, Suzanne Chan-Serafin, Arthur P. Brief, Elizabeth E. Umphress & Joshua Joseph - 2015 - Journal of Business Ethics 131 (4):791-801.
The purpose and place of formal systems in the development of science.Bruce Edmonds - manuscript
Review: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
Systems, formal and models of formal systems.Leon Henkin - 1967 - In Paul Edwards (ed.), The Encyclopedia of philosophy. New York,: Macmillan. pp. 8--61.

Analytics

Added to PP
2013-11-22

Downloads
7 (#1,351,854)

6 months
3 (#1,023,809)

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

No references found.

Add more references