next up previous contents
Next: Herbrand'i universum (Herbrand universe) Up: No Title Previous: Funktsioon (functionfunction symbol)

Herbrand'i arendused (Herbrand expansion)

- Sekventsi

displaymath419

Herbrand'i arenduseks nimetatakse sekventsi

displaymath420

kus termid tex2html_wrap_inline423 kuuluvad esimesena nimetatud sekventsi Herbrand'i universumisse.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996