Theory of Formal Systems

Journal of Symbolic Logic 30 (1):88-90 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270586

Other Versions

No versions found

Links

PhilArchive

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: Raymond M. Smullyan, Theory of Formal Systems. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
A grammar systems approach to natural language grammar.M. Dolores Jiménez López - 2006 - Linguistics and Philosophy 29 (4):419 - 454.
Commentary: Why I Am Not a Dynamicist.Matthew Botvinick - 2012 - Topics in Cognitive Science 4 (1):78-83.
Information-Theoretic Limitations of Formal Systems.Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira - 1974 - Journal of the ACM 21 (3):403–424.
The purpose and place of formal systems in the development of science.Bruce Edmonds - manuscript
Universalism and Parametric Systems Theory.Arnold Tsofnas & Edward Demenchonok - 2006 - Dialogue and Universalism 16 (11/12):35-55.
Elementary Formal Systems.Raymond M. Smullyan - 1969 - Journal of Symbolic Logic 34 (1):117-117.
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.
Presenting the formal theory of hierarchical complexity.Michael Lamport Commons & Alexander Pekker - 2008 - World Futures 64 (5-7):375 – 382.

Analytics

Added to PP
2015-02-05

Downloads
71 (#832,168)

6 months
6 (#1,530,248)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Limiting recursion.E. Mark Gold - 1965 - Journal of Symbolic Logic 30 (1):28-48.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.

View all 51 citations / Add more citations

References found in this work

No references found.

Add more references