Goodstein, R. L. (Reuben Louis)
Overview
Works:  25 works in 314 publications in 6 languages and 5,561 library holdings 

Genres:  Conference papers and proceedings History Popular works 
Roles:  Author, Honoree 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works by
R. L Goodstein
Fundamental concepts of mathematics by
R. L Goodstein(
Book
)
45 editions published between 1962 and 2008 in 4 languages and held by 911 WorldCat member libraries worldwide
Fundamental Concepts of Mathematics, 2nd Edition provides an account of some basic concepts in modern mathematics
45 editions published between 1962 and 2008 in 4 languages and held by 911 WorldCat member libraries worldwide
Fundamental Concepts of Mathematics, 2nd Edition provides an account of some basic concepts in modern mathematics
Development of mathematical logic by
P. H Nidditch(
Book
)
13 editions published in 1971 in English and Undetermined and held by 562 WorldCat member libraries worldwide
This text offers a summary of the history of formal logic from the time of Aristotle to that of Godel. It discusses the four main trends at the root of modern logic: Aristotle's theory of the syllogism; the idea of a universal language; the idea of the parts of mathematics forming deductive systems; and the discoveries in mathematics in the early19th century. The book goes on to outline the chief ideas and theories of the main writers on mathematical logic, including Jevons, Pierce, Boole, Russell and Whitehead
13 editions published in 1971 in English and Undetermined and held by 562 WorldCat member libraries worldwide
This text offers a summary of the history of formal logic from the time of Aristotle to that of Godel. It discusses the four main trends at the root of modern logic: Aristotle's theory of the syllogism; the idea of a universal language; the idea of the parts of mathematics forming deductive systems; and the discoveries in mathematics in the early19th century. The book goes on to outline the chief ideas and theories of the main writers on mathematical logic, including Jevons, Pierce, Boole, Russell and Whitehead
Boolean algebra by
R. L Goodstein(
Book
)
26 editions published between 1963 and 2012 in 3 languages and held by 545 WorldCat member libraries worldwide
The general solutions of Boolean equations. Congruence relations.; Examples III; Chapter IV. Sentence Logic; Sentence logic as a model of Boolean algebra.; Truthtable completeness.; Independence of the axioms.; The third system of axioms.; The deduction theorem.; Examples IV; Chapter V. Lattices; Partially ordered sets.; Upper and lower bounds.; Distributive lattices.; Union and intersection ideals.; The lattice of union ideals.; Representation theorems for Boolean algebras.; Complemented distributive lattices.; Atoms, minimal and maximal elements.; Newman algebra
26 editions published between 1963 and 2012 in 3 languages and held by 545 WorldCat member libraries worldwide
The general solutions of Boolean equations. Congruence relations.; Examples III; Chapter IV. Sentence Logic; Sentence logic as a model of Boolean algebra.; Truthtable completeness.; Independence of the axioms.; The third system of axioms.; The deduction theorem.; Examples IV; Chapter V. Lattices; Partially ordered sets.; Upper and lower bounds.; Distributive lattices.; Union and intersection ideals.; The lattice of union ideals.; Representation theorems for Boolean algebras.; Complemented distributive lattices.; Atoms, minimal and maximal elements.; Newman algebra
Recursive number theory; a development of recursive arithmetic in a logicfree equation calculus by
R. L Goodstein(
Book
)
31 editions published between 1957 and 1964 in English and Undetermined and held by 530 WorldCat member libraries worldwide
31 editions published between 1957 and 1964 in English and Undetermined and held by 530 WorldCat member libraries worldwide
Mathematical logic by
R. L Goodstein(
Book
)
45 editions published between 1957 and 1965 in English and Russian and held by 489 WorldCat member libraries worldwide
45 editions published between 1957 and 1965 in English and Russian and held by 489 WorldCat member libraries worldwide
Recursive analysis by
R. L Goodstein(
Book
)
24 editions published between 1961 and 2013 in 5 languages and held by 487 WorldCat member libraries worldwide
Recursive analysis develops natural number computations into a framework appropriate for real numbers. This text is based upon primary recursive arithmetic and presents a unique combination of classical analysis and intuitional analysis. Written by a master in the field, it is suitable for graduate students of mathematics and computer science and can be read without a detailed knowledge of recursive arithmetic.Introductory chapters on recursive convergence and recursive and relative continuity are succeeded by explorations of recursive and relative differentiability, the relative integral, and
24 editions published between 1961 and 2013 in 5 languages and held by 487 WorldCat member libraries worldwide
Recursive analysis develops natural number computations into a framework appropriate for real numbers. This text is based upon primary recursive arithmetic and presents a unique combination of classical analysis and intuitional analysis. Written by a master in the field, it is suitable for graduate students of mathematics and computer science and can be read without a detailed knowledge of recursive arithmetic.Introductory chapters on recursive convergence and recursive and relative continuity are succeeded by explorations of recursive and relative differentiability, the relative integral, and
Complex functions; a first course in the theory of functions of a single complex variable by
R. L Goodstein(
Book
)
22 editions published between 1965 and 1970 in English and Undetermined and held by 413 WorldCat member libraries worldwide
22 editions published between 1965 and 1970 in English and Undetermined and held by 413 WorldCat member libraries worldwide
Essays in the philosophy of mathematics by
R. L Goodstein(
Book
)
11 editions published in 1965 in English and held by 351 WorldCat member libraries worldwide
11 editions published in 1965 in English and held by 351 WorldCat member libraries worldwide
Constructive formalism; essays on the foundations of mathematics by
R. L Goodstein(
Book
)
24 editions published between 1951 and 1965 in English and Undetermined and held by 286 WorldCat member libraries worldwide
24 editions published between 1951 and 1965 in English and Undetermined and held by 286 WorldCat member libraries worldwide
Axiomatic projective geometry by
R. L Goodstein(
Book
)
22 editions published between 1953 and 1962 in English and Undetermined and held by 278 WorldCat member libraries worldwide
22 editions published between 1953 and 1962 in English and Undetermined and held by 278 WorldCat member libraries worldwide
A textbook of mathematical analysis; the uniform calculus and its applications by
R. L Goodstein(
Book
)
17 editions published between 1948 and 1949 in English and held by 180 WorldCat member libraries worldwide
17 editions published between 1948 and 1949 in English and held by 180 WorldCat member libraries worldwide
The foundations of mathematics : an inaugural lecture delivered at the University College of Leicester, 13th November 1951 by
R. L Goodstein(
Book
)
19 editions published between 1951 and 1979 in English and held by 54 WorldCat member libraries worldwide
19 editions published between 1951 and 1979 in English and held by 54 WorldCat member libraries worldwide
Funciones complejas : Teoría de funciones de una variable compleja by
R. L Goodstein(
)
2 editions published in 1975 in Spanish and held by 10 WorldCat member libraries worldwide
2 editions published in 1975 in Spanish and held by 10 WorldCat member libraries worldwide
Numerical methods in Algol by
John Hawgood(
Book
)
1 edition published in 1965 in English and held by 10 WorldCat member libraries worldwide
1 edition published in 1965 in English and held by 10 WorldCat member libraries worldwide
Elementary programming and Algol by
Keith Nicol(
Book
)
3 editions published in 1965 in English and held by 10 WorldCat member libraries worldwide
3 editions published in 1965 in English and held by 10 WorldCat member libraries worldwide
Elements of mathematical logic by
P. S Novikov(
Book
)
1 edition published in 1964 in English and held by 8 WorldCat member libraries worldwide
1 edition published in 1964 in English and held by 8 WorldCat member libraries worldwide
Constructive Formalism, etc. (Second edition.) by
R. L Goodstein(
Book
)
1 edition published in 1965 in Undetermined and held by 3 WorldCat member libraries worldwide
1 edition published in 1965 in Undetermined and held by 3 WorldCat member libraries worldwide
Fundamental concepts of mathematics by
R. L Goodstein(
)
1 edition published in 1979 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1979 in English and held by 0 WorldCat member libraries worldwide
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 1319, 1986 by
KingstonuponHull) Logic Colloquium (1986(
)
1 edition published in 1988 in English and held by 0 WorldCat member libraries worldwide
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic. This volume contains the texts of ten of the invited lectures and six of the contributed papers
1 edition published in 1988 in English and held by 0 WorldCat member libraries worldwide
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic. This volume contains the texts of ten of the invited lectures and six of the contributed papers
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Algebra, Boolean ALGOL (Computer program language) Arithmetic ArithmeticFoundations Calculus Computer programming Functions of complex variables Geometry, Projective Geometry, ProjectiveFoundations Logic, Symbolic and mathematical Mathematical analysis Mathematics MathematicsPhilosophy Number theory Numerical analysis Recursion theory Recursive functions Set theory
Alternative Names
Goodstein, R. L.
Goodstein, R. L. 19121985
Goodstein, Reuben L.
Goodstein, Reuben L. 19121985
Goodstein, Reuben Louis
Goodstein, Reuben Louis 19121985
Gudstejn, R.L
Reuben Goodstein britischer Mathematiker
Reuben Goodstein britisk matematikar
Reuben Goodstein britisk matematiker
Reuben Goodstein Brits wiskundige (19121985)
Reuben Goodstein brittisk matematiker
Reuben Goodstein mathématicien britannique
Reuben Louis Goodstein
Гудстейн, Р. Л.
Гудстейн, Реубен Луи 19121985
루벤 루이스 굿스타인
グッドスタイン
Languages
Covers