First-Order Logic

@incollection{Schmitt2016,
  author    = {Peter H. Schmitt},
  title     = {First-Order Logic},
  booktitle = {Deductive Software Verification - The {\KeY} Book: From Theory to Practice},
  series    = {Lecture Notes in Computer Science},
  volume    = {10001},
  pages     = {23--47},
  chapter   = {2},
  part      = {I: Foundations},
  publisher = {Springer},
  year      = {2016},
  doi       = {10.1007/978-3-319-49812-6_2},
  month     = dec,
  abstract  = {This chapter presents syntax, a calculus, and semantics of
               first-order logic. This is done first for a basic, typed
               first-order logic, and then for a richer logic tailored
               to the verification of Java programs.}
}