@base . a , ; "Synthese Library (Dordrecht)" . a ; "0166-6991" ; . a ; ; "20170225160700.0"^^ ; ; . a , , ; , , ; "Synthese Library." ; ; ; ; "0166-6991" ; ; ; "0166-6991" ; ; "0166-6991" ; "Synthese Library (Dordrecht)" , "Synthese Library." ; . a . . "Netherlands" . a ; "0166-6991" ; . a ; .