Nail Kalimovich Zamov

MathSciNet


Ph.D. Steklov Institute of Mathematics 1973 Russia
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.