Keywords: 03D75; 03D80; 03F60; 03F65Computability theory at higher types; Constructive mathematics; Density theorem; Limit spaces
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Introduction to clarithmetic III
Keywords: 03F50; 03F30; 03D75; 68T30; Computability logic; Game semantics; Peano arithmetic; Constructive theories; Interactive computation;
The provably terminating operations of the subsystem PETJ of explicit mathematics
Keywords: 03D15; 03D75; 03H15; Explicit mathematics; Polytime functions; Non-standard models;