query: Notation of rules of a calculus in "Mathematical Logic" by Ebbinghaus
positive_passages.docid: 141796
positive_passages.text: Clarification regarding white space in rules of inference
negative_passages.docid: 129430
negative_passages.text: Hardy-Ramanujan theorem's "purely elementary reasoning"
negative_passages.docid: 144633
negative_passages.text: Verification of proof involving logarithms and limits
negative_passages.docid: 126859
negative_passages.text: $\Bbb Z^\ast$ What is this notation?
negative_passages.docid: 56441
negative_passages.text: Conventions for function notation
negative_passages.docid: 28281
negative_passages.text: Different standards for writing down logical quantifiers in a formal way
negative_passages.docid: 81160
negative_passages.text: What does the notation $\Gamma \vDash \phi$ mean (in Mathematical Logic)?
negative_passages.docid: 33164
negative_passages.text: Formal basis for variable substitution in limits
negative_passages.docid: 108533
negative_passages.text: Is there any formula of monadic second-order logic that is only satisfied by an infinite set?
negative_passages.docid: 66501
negative_passages.text: Notation Question: What does $\vdash$ mean in logic?
negative_passages.docid: 100004
negative_passages.text: Differentiating $e^x$ from first principles using limits.
negative_passages.docid: 124552
negative_passages.text: Notation for infinite product in reverse order
negative_passages.docid: 153975
negative_passages.text: Proving mathematical induction with arbitrary base using (weak) induction
negative_passages.docid: 115996
negative_passages.text: Misleading Definitions and Unanswerable Problems in Spivak's Calculus
negative_passages.docid: 79969
negative_passages.text: Proof that a formula $\theta$ is valid if and only if $\forall x \theta$ is valid
negative_passages.docid: 122184
negative_passages.text: De Morgan's laws in logic and set theory
negative_passages.docid: 4676
negative_passages.text: Notation for repeated composition of functions