The non-constructive operator, fixed point theories with ordinals, and the bar rule
Under an Elsevier user license
open archive
MSC
03F03
03F05
03F10
03F35
Keywords
Applicative theories
Theories with ordinals
Non-constructive -operator
Bar rule
Cited by (0)
Copyright © 2000 Elsevier Science B.V. All rights reserved.