Martin Giese,
"First-Order Logic"
, in Bernhard Beckert and Reiner Hähnle and Peter H. Schmitt: Verification of Object-Oriented Software: The KeY Approach, Serie Lecture Notes in Computer Science (LNCS), Vol. 4334, Springer, Seite(n) 21-68, 2007, ISBN: 978-3-540-68977-5
Original Titel:
First-Order Logic
Sprache des Titels:
Englisch
Original Buchtitel:
Verification of Object-Oriented Software: The KeY Approach