@BOOK{ Book!D - 100989810,
AUTHOR = "/ Hans Hermes",
TITLE = "Term logic with choice operator",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Logic, Symbolic and mathematical",
URL = "/book/100989810/Term-logic-with-choice-operator/"}