jenny:

Formułą atomową jest więc dowolne zastosowanie symbolu predykatowego do argumentów będących termami.
2009/06/24 01:00:45, 0