@book{ BB05065820, author = "Rini, Adriane", title = "Aristotle's modal proofs : Prior analytics A8-22 in predicate logic", publisher = "Springer", year = "2011", series = "The new synthese historical library", number = "v. 68", URL = "https://ci.nii.ac.jp/ncid/BB05065820" }