LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS

• 30 June 1984
• journal article
• Published by Steklov Mathematical Institute in Mathematics of the USSR-Izvestiya
• Vol. 22  (3) , 587-618
• https://doi.org/10.1070/im1984v022n03abeh001456

Abstract

Keywords

• MONOTONE FUNCTION
• DECISION PROBLEM