Extension of the inverse method to the predicate calculus with equality
From MaRDI portal
Publication:2560052
DOI10.1007/BF01117469zbMath0259.68040MaRDI QIDQ2560052
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01117469
Related Items
Asymptotic properties of disk dynamo, Extension of the inverse method to axiomatic theories with equality, Semiclassical asymptotics of the eigenfunctions of the Schrödinger-Hartree equation. New form of classical self-consistent field
Cites Work