MONOTONE INDUCTIVE DEFINITIONS IN A CONSTRUCTIVE THEORY OF FUNCTIONS AND CLASSES

被引：11
|
作者：
TAKAHASHI, S
机构：
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1989年 / 42卷 / 03期
关键词：
D O I：
10.1016/0168-0072(89)90019-5
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：255 / 297
页数：43
相关论文
共 50 条
12345