Some Concepts Concerning Formal Systems of Number Theory

Journal of Symbolic Logic 31 (1):128-128 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270659

Links

PhilArchive



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

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: Georg Kreisel, Some Concepts Concerning Formal Systems of Number Theory. [REVIEW]Gert H. Muller - 1966 - Journal of Symbolic Logic 31 (1):128-128.
Bridging the gap between intuitive and formal number concepts: An epidemiological perspective.Helen3 De Cruz - 2008 - Behavioral and Brain Sciences 31 (6):649-650.
Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
Commentary: Why I Am Not a Dynamicist.Matthew Botvinick - 2012 - Topics in Cognitive Science 4 (1):78-83.
Concept calculus: Much better than.Harvey M. Friedman - unknown
The purpose and place of formal systems in the development of science.Bruce Edmonds - manuscript
On the Concepts of Completeness and Interpretation of Formal Systems.G. Kreisel & A. Robinson - 1959 - Journal of Symbolic Logic 24 (3):236-238.
Categories, Formal Concepts and Metaphysics.D. W. Hamlyn - 1959 - Philosophy 34 (129):111 - 124.
Tracing an Outline of Legal Complexity.Thomas E. Webb - 2014 - Ratio Juris 27 (4):477-495.
On Goedel's Theorem: An Arithmetical and Functional Construction of Systems with Formally Undecidable Propositions. The Theorem of the Arithmetical-Functional Isomorphism.Ignacio Jose Alvarez Canas - 2002 - Dissertation, Universidad Politecnica de Valencia (Spain)
On me number of steps in proofs.Jan Krajíèek - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
On the number of steps in proofs.Jan Kraj\mIček - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
Logically reliable inductive inference.Oliver Schulte - 2007 - In Friend Michele, Goethe Norma B. & Harizanov Valentina (eds.), Induction, algorithmic learning theory, and philosophy. Springer. pp. 157-178.
A grammar systems approach to natural language grammar.M. Dolores Jiménez López - 2006 - Linguistics and Philosophy 29 (4):419 - 454.
Interview: “Masses of formal philosophy”.Alan Hájek - 2006 - In Vincent F. Hendricks & John Symons (eds.), Masses of Formal Philosophy. Automatic Press/Vip.

Analytics

Added to PP
2015-02-05

Downloads
16 (#903,096)

6 months
1 (#1,464,097)

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