N. A. Pankrat'ev

Available identifiers

zbMath Open pankratev.n-aMaRDI QIDQ752680

List of research outcomes

Publication	Date of Publication	Type
Predicate calculus and arithmetic with Grzegorczyk	1989-01-01	Paper
The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3033734	1989-01-01	Paper
Language of Turing machines from the point of view of optimization	1988-01-01	Paper
Church's thesis from the point of view of provability interpretation	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804683	1988-01-01	Paper

Research outcomes over time

This page was built for person: N. A. Pankrat'ev