"Elementare Logik: Prädikatenlogik der ersten Stufe" von Anneliese Oberschelp bietet eine umfassende Einführung in die Prädikatenlogik erster Stufe, die ein zentraler Bestandteil der mathematischen Logik ist. Das Buch behandelt...