In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some".
a book about existential psychotherapy by the American psychiatrist Irvin D. Yalom, in which the author, addressing clinical practitioners, offers a brief and pragmatic introduction to European existential philosophy, as well as to existential approaches to psychotherapy.