Concepedia

Elliott Mendelson

EM

15

Publications

1.1K

Citations

13

H-Index

1956

Active since

Affiliations

Queens College, CUNY(Current)

Elliott Mendelson is an author at Queens College, CUNY specializing in automated reasoning, formal logic, and engineering.

Top concepts

Automated ReasoningEngineeringFormal LogicEducationHumanitiesFormal MethodsSocial AnthropologyMathematical FoundationsRaceBuddhism

Publications per year

1956–1994

15

Publications

15

Foundations of Mathematical Logic.

Elliott Mendelson, Haskell B. Curry · American Mathematical Monthly · 1965 · 456 citations

Formal Logic, Non-classical Logic, Automated Reasoning +3

Introduction to Mathematical Logic.

Trevor Evans, Elliott Mendelson · American Mathematical Monthly · 1966 · 187 citations

Applied Logic, Formal Logic, Engineering +4

Second Thoughts about Church's Thesis and Mathematical Proofs

Elliott Mendelson · The Journal of Philosophy · 1990 · 98 citations

Foundation Of Mathematics, Mathematical Proofs, Mathematical Proof +1

Sangha and State in Burma. A Study of Monastic Sectarianism and Leadership

B. G. Gokhale, Elliott Mendelson, John P. Fergusson · Journal of the American Oriental Society · 1978 · 61 citations

South Asian Culture, East Asian Studies, Buddhism +8

Annual meeting of the Association for Symbolic Logic

Sidney Morgenbesser, Elliott Mendelson · Journal of Symbolic Logic · 1966 · 46 citations

Get Access Link, Humanities, Symbolic Logic +4

Rows per page

1–5 of 15