Differential equations in constructive analysis and in the recursive realizability topos期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Differential equations in constructive analysis and in the recursive realizability topos

Authors:	Andrej Ščedrov

Affiliation:	Department of Mathematics, University of Pennslyvania, Philadelphia, PA 19104, USA

Abstract:

Keywords:
本文献已被 ScienceDirect 等数据库收录！