WorldCat Identities

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
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 early-19th 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.; Truth-table 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 logic-free 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

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

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
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

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

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

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

A text-book 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

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

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

Numerical methods in Algol by John Hawgood( Book )

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

Elements of mathematical logic by P. S Novikov( Book )

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

Fundamental concepts of mathematics by R. L Goodstein( )

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 13-19, 1986 by Kingston-upon-Hull) 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.47 for Boolean al ... to 0.89 for Constructi ...)

Boolean algebra
Alternative Names
Goodstein, R. L.

Goodstein, R. L. 1912-1985

Goodstein, Reuben L.

Goodstein, Reuben L. 1912-1985

Goodstein, Reuben Louis

Goodstein, Reuben Louis 1912-1985

Gudstejn, R.L

Reuben Goodstein britischer Mathematiker

Reuben Goodstein britisk matematikar

Reuben Goodstein britisk matematiker

Reuben Goodstein Brits wiskundige (1912-1985)

Reuben Goodstein brittisk matematiker

Reuben Goodstein mathématicien britannique

Reuben Louis Goodstein

Гудстейн, Р. Л.

Гудстейн, Реубен Луи 1912-1985

루벤 루이스 굿스타인

グッドスタイン

Languages
English (271)

Russian (11)

Dutch (5)

Spanish (3)

German (1)

Italian (1)

Covers
Recursive analysis