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.

@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.}
}