Enderton, Herbert B.
Overview
Works:  16 works in 143 publications in 3 languages and 3,116 library holdings 

Genres:  Genealogy Academic theses 
Roles:  Author, Editor, Composer 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works by
Herbert B Enderton
A mathematical introduction to logic by
Herbert B Enderton(
Book
)
71 editions published between 1972 and 2013 in English and Spanish and held by 1,269 WorldCat member libraries worldwide
This edition offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets
71 editions published between 1972 and 2013 in English and Spanish and held by 1,269 WorldCat member libraries worldwide
This edition offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets
Elements of set theory by
Herbert B Enderton(
Book
)
26 editions published between 1977 and 2009 in English and Undetermined and held by 781 WorldCat member libraries worldwide
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interestit is a subject with intruiging results anout simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning
26 editions published between 1977 and 2009 in English and Undetermined and held by 781 WorldCat member libraries worldwide
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interestit is a subject with intruiging results anout simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning
Mathematical logic : an introduction to model theory by
A. H Lightstone(
Book
)
9 editions published in 1978 in English and held by 472 WorldCat member libraries worldwide
Before his death in March, 1976, A.H. Lightstone delivered the manu script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone's book. H.B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis. Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed. These restrictions are dropped here, in order to develop a flexible, expressive language capable of exploiting the potential of nonstandard analysis. To assist the reader in grasping the basic ideas of logic, we begin in Part I by presenting the propositional calculus and statement systems. This provides a relatively simple setting in which to grapple with the some times foreign ideas of mathematical logic. These ideas are repeated in Part II, where the predicate calculus and semantical systems are studied
9 editions published in 1978 in English and held by 472 WorldCat member libraries worldwide
Before his death in March, 1976, A.H. Lightstone delivered the manu script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone's book. H.B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis. Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed. These restrictions are dropped here, in order to develop a flexible, expressive language capable of exploiting the potential of nonstandard analysis. To assist the reader in grasping the basic ideas of logic, we begin in Part I by presenting the propositional calculus and statement systems. This provides a relatively simple setting in which to grapple with the some times foreign ideas of mathematical logic. These ideas are repeated in Part II, where the predicate calculus and semantical systems are studied
Computability theory : an introduction to recursion theory by
Herbert B Enderton(
)
20 editions published between 2006 and 2011 in English and Spanish and held by 428 WorldCat member libraries worldwide
The Computability Concept  General Recursive Functions  Programs and Machines  Recursive Enumerability  Connections to Logic  Degrees of Unsolvability  PolynomialTime Computability  [Appendices]. Mathspeak  Countability  Decadic Notation
20 editions published between 2006 and 2011 in English and Spanish and held by 428 WorldCat member libraries worldwide
The Computability Concept  General Recursive Functions  Programs and Machines  Recursive Enumerability  Connections to Logic  Degrees of Unsolvability  PolynomialTime Computability  [Appendices]. Mathspeak  Countability  Decadic Notation
Linear algebra by
Michael O'Nan(
Book
)
3 editions published between 1990 and 2002 in English and held by 75 WorldCat member libraries worldwide
3 editions published between 1990 and 2002 in English and held by 75 WorldCat member libraries worldwide
The collected works of Alonzo Church by
Alonzo Church(
Book
)
2 editions published in 2019 in English and held by 40 WorldCat member libraries worldwide
2 editions published in 2019 in English and held by 40 WorldCat member libraries worldwide
The private journal of Abraham Joseph Warner; extracts from volumes I, III, and IV (4 November 1838 to 25 December 1864) by Abraham Joseph Warner(
Book
)
2 editions published in 1973 in English and held by 40 WorldCat member libraries worldwide
Abraham (Abram) Joseph Warner was born in Connecticut in 1821 to Ard and Mary (Bronson) Warner, Jr. Abraham married in 1854 Emily Benson who died in 1855. He married his second wife, Frances Louisa Bishop, in 1855 in Indiana. He graduated from Trinity College, Hartford, Connecticut, in 1842; tutored at Jubilee College in 18421845; was an Episcopal missionary in Sterling, Illinois, and its vicinity during 18451850; ordained a priest in 1847; established St. Peter's Episcopal Church in Grand Detour, Illinois in 1850; was a chaplain to the 12th Illinois Cavalry Regiment during the Civil War, serving mainly in Virginia; and was rector at Boardman, Ohio, in 1864, and of St. Paul's Episcopal Church of Angelica, New York, 18811885
2 editions published in 1973 in English and held by 40 WorldCat member libraries worldwide
Abraham (Abram) Joseph Warner was born in Connecticut in 1821 to Ard and Mary (Bronson) Warner, Jr. Abraham married in 1854 Emily Benson who died in 1855. He married his second wife, Frances Louisa Bishop, in 1855 in Indiana. He graduated from Trinity College, Hartford, Connecticut, in 1842; tutored at Jubilee College in 18421845; was an Episcopal missionary in Sterling, Illinois, and its vicinity during 18451850; ordained a priest in 1847; established St. Peter's Episcopal Church in Grand Detour, Illinois in 1850; was a chaplain to the 12th Illinois Cavalry Regiment during the Civil War, serving mainly in Virginia; and was rector at Boardman, Ohio, in 1864, and of St. Paul's Episcopal Church of Angelica, New York, 18811885
Genealogy of the Enderton family by
Herbert B Enderton(
)
2 editions published in 1963 in English and held by 3 WorldCat member libraries worldwide
Descendants of John, Thomas and William Enderton, originally of Pennsylvania
2 editions published in 1963 in English and held by 3 WorldCat member libraries worldwide
Descendants of John, Thomas and William Enderton, originally of Pennsylvania
Mathematical logic by
A. H Lightstone(
Book
)
1 edition published in 1978 in Undetermined and held by 2 WorldCat member libraries worldwide
1 edition published in 1978 in Undetermined and held by 2 WorldCat member libraries worldwide
Shu li luo ji by
Herbert B Enderton(
Book
)
1 edition published in 2007 in Chinese and held by 1 WorldCat member library worldwide
Ben shu han gai le ming ti luo ji, Yi jie luo ji, Bu ke pan ding xing yi ji er jie luo ji deng fang mian de nei rong, Bing qie bao han le yu ji suan ji ke xue you guan de zhu ti, Ru you xian mo xing
1 edition published in 2007 in Chinese and held by 1 WorldCat member library worldwide
Ben shu han gai le ming ti luo ji, Yi jie luo ji, Bu ke pan ding xing yi ji er jie luo ji deng fang mian de nei rong, Bing qie bao han le yu ji suan ji ke xue you guan de zhu ti, Ru you xian mo xing
COMPUTABILITY THEORY by
Herbert B Enderton(
Book
)
1 edition published in 2017 in English and held by 1 WorldCat member library worldwide
1 edition published in 2017 in English and held by 1 WorldCat member library worldwide
LOGICAL DESIGN FOR FAST SERIAL COMPUTER(
Book
)
1 edition published in 1965 in English and held by 1 WorldCat member library worldwide
The detailed logical design is given for a serial digital computer using a 0.5microsecond magnetic memory, 100mc logical circuits, and oneword delay lines. The computer performs most instructions in 1 microsecond. A list is given of the amount of hardware used. (Author)
1 edition published in 1965 in English and held by 1 WorldCat member library worldwide
The detailed logical design is given for a serial digital computer using a 0.5microsecond magnetic memory, 100mc logical circuits, and oneword delay lines. The computer performs most instructions in 1 microsecond. A list is given of the amount of hardware used. (Author)
Hierarchies in recursive function theory by
Herbert B Enderton(
Book
)
1 edition published in 1962 in English and held by 1 WorldCat member library worldwide
1 edition published in 1962 in English and held by 1 WorldCat member library worldwide
Wisconsin BirgePaine family records : Oak Grove, Juneau, Fond du Lac, Horicon, Wisconsin by
Herbert B Enderton(
Book
)
in English and held by 1 WorldCat member library worldwide
in English and held by 1 WorldCat member library worldwide
Encyclopedia of mathematics and its applications by
Michael O'Nan(
Book
)
1 edition published in 2002 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 2002 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Lightstone, A. H. Author
 O'Nan, Michael Author
 Church, Alonzo 19031995 Author
 Warner, Abraham Joseph 1821
 Burge, Tyler Editor
 Association for Symbolic Logic Publisher
 Amor Montaño, José Alfredo
 Academic Press (Londyn) Publisher
 Enderton family
 TotalBoox
Useful Links
Covers
Alternative Names
Enderton, H. B.
Enderton, Herbert Bruce.
Enderton, Herbert Bruce 19362010
Herbert Enderton American academic, educator, and mathematician
Herbert Enderton Amerikaans wiskundige
Herbert Enderton USamerikanischer Mathematiker und Logiker
Χέρμπερντ Έντερτον
Languages