This article is cited in 5 papers

MATHEMATICS

Recursive realizability and constructive predicate logic

V. E. Plisko

Lomonosov Moscow State University

UDC: 517.12

Presented: P. S. Novikov
Received: 16.05.1973

Bibliographic databases:

• 
•