Names introduced with the help of unsatisfied sortal predicates

reply to Aranyosi

Tobias Hansson Wahlberg

pp. 511-514


This document is unfortunately not available for download at the moment.

Not implemented yet !