Next: Herbrand'i universum (Herbrand universe)
Up: No Title
Previous: Funktsioon (functionfunction symbol)
-
Sekventsi
Herbrand'i arenduseks nimetatakse sekventsi
kus termid
kuuluvad esimesena nimetatud sekventsi Herbrand'i universumisse.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996