OFFSET
1,4
REFERENCES
Karpenko A.S. 2006. Lukasiewicz's Logics and Prime Numbers (English translation).
Karpenko A.S. 2000. Lukasiewicz's Logics and Prime Numbers (Russian).
CROSSREFS
KEYWORD
nonn
AUTHOR
Artur Jasinski, Mar 01 2010
STATUS
approved