Download

1. Niech M będzie interpretacją języka KRP której uniwersum jest