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 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