Skip to content

On Existence of Complete Predicate Calculus in Metamathematics without Exponentiation.

Vladimir Yu. Sazonov

VenueBMFCS
Year1981
ProceedingsMFCS

Browse the full MFCS paper archive.