Nail Kalimovich Zamov
Ph.D. Steklov Institute of Mathematics 1973
Dissertation:
Derivation Search in Predicate Calculus and Possibilities of Limiting the Complexity of Terms in Derivations
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Gennadi Valentinovich Davydov
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 132883 for the advisor ID.