Book Reviews

• Authors:

• Frank Wolter

• Affiliations:

• Department of Computer Science, University of Liverpool, Liverpool, U.K. L69 3BX

• Venue:
• Studia Logica
• Year:
• 2012