๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculusby R. L. Goodstein

โœ Scribed by Review by: Th. Skolem

Book ID
124950814
Publisher
Association for Symbolic Logic
Year
1958
Tongue
English
Weight
123 KB
Volume
23
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Problem in Recursive Function Theory
A Problem in Recursive Function Theory
โœ R. L. Goodstein ๐Ÿ“‚ Article ๐Ÿ“… 1953 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 538 KB
Mathematical Methods of the Theory of St
Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ฯ‰+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki
โœ Review by: Steven S. Muchnick ๐Ÿ“‚ Article ๐Ÿ“… 1977 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 98 KB