-
Herbert Bruce Enderton (April 15, 1936 –
October 20, 2010) was an
American mathematician. He was a
Professor Emeritus of
Mathematics at UCLA and a former...
- Tyler;
Enderton, Herbert, eds. (2019-04-23). The
Collected Works of
Alonzo Church. Cambridge, MA, USA: MIT Press. ISBN 978-0-262-02564-5.
Enderton, Herbert...
-
Devine et al. p. 75
Enderton p. 79 For a
version that
applies to any
poset with the
descending chain condition, see
Bergman p. 100.
Enderton (p. 79) observes...
-
ponens is
sometimes called the rule of
detachment or the law of detachment.
Enderton, for example,
observes that "modus
ponens can
produce shorter formulas...
-
instructions in one
computer language and emit
instructions in
another language.
Enderton [1977]
gives the
following characteristics of a
procedure for computing...
-
Symbolic Logic, pp. 269–279, via
internet Archive Schmidt 2010, Chapt. 5
Enderton 1977, Ch 3. p. 40 Smith,
Eggen & St.
Andre 2006, p. 160
Nievergelt 2002...
-
McLerran (born
Alice van Kl****
Enderton; 1933–2019) was an
American anthropologist and author.
Alice van Kl****
Enderton was born in West Point, New York...
-
Decision table Information about notation may be
found in (Bocheński 1959), (
Enderton 2001), and (Quine 1982). The
operators here with
equal left and
right identities...
-
introductory logic, and are
covered by all
introductory textbooks,
including Enderton (2001),
Gamut (1990), and
Kleene (1967) Gensler,
Harry (2002-09-11). Introduction...
- theory,
Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag
Enderton,
Herbert (1977),
Elements of set theory, Boston, MA:
Academic Press,...
