ExLibris header image
SFX Logo
Title: Function Theory in an Axiom-Free Equation Calculus
Source:

Proceedings of the London Mathematical Society [0024-6115] Goodstein, R L yr:1945


Collapse list of basic services Basic
Sorry, no full text available...
Please use the document delivery service (see below)  
Holding information
Holdings in library search engine ALBERT GO
Document delivery
Request document via Library/Bibliothek GO
Users interested in this article also expressed an interest in the following:
1. McKinsey. "Review: R. L. Goodstein, Function Theory in an Axiom-free Equation Calculus." The Journal of symbolic logic 11.iss.1 (1946): 24-26. Link to SFX for this item
2. Schwartz, Daniel G. "On the equivalence between logic-free and logic-bearing systems of primitive recursive arithmetic." Zeitschrift für mathematische Logik und Grundlagen der Mathematik 33.3 (1987): 245-253. Link to Full Text for this item Link to SFX for this item
3. Goodstein, R. L. L. "A Decidable Fragment of Recursive Arithmetic." Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9.12‐15 (1963): 199-201. Link to Full Text for this item Link to SFX for this item
4. Robinson, J. "Definability and decision problems in arithmetic." The Journal of symbolic logic 14.2 (1949): 98-114. Link to SFX for this item
Select All Clear All

Expand list of advanced services Advanced
A service provided by the Library of the Wissenschaftspark Albert Einstein, Potsdam, Germany.
© 2005 SFX by Ex Libris Inc.