WorldCat Identities

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 about Herbert B Enderton
 
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
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 interest--it 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
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 -- Polynomial-Time 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

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

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 1842-1845; was an Episcopal missionary in Sterling, Illinois, and its vicinity during 1845-1850; 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, 1881-1885
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
Mathematical logic by A. H Lightstone( Book )

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
COMPUTABILITY THEORY by Herbert B Enderton( Book )

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.5-microsecond magnetic memory, 100-mc logical circuits, and one-word 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

Wisconsin Birge-Paine 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

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.51 (from 0.44 for Elements o ... to 1.00 for Encycloped ...)

A mathematical introduction to logic
Covers
Elements of set theoryComputability theory : an introduction to recursion theory
Alternative Names
Enderton, H. B.

Enderton, Herbert Bruce.

Enderton, Herbert Bruce 1936-2010

Herbert Enderton American academic, educator, and mathematician

Herbert Enderton Amerikaans wiskundige

Herbert Enderton US-amerikanischer Mathematiker und Logiker

Χέρμπερντ Έντερτον

Languages
English (130)

Spanish (10)

Chinese (1)