Davdov, G. V. Some notes on proof searching in predicate calculus. (Russian) Zbl 0172.29802 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 8, 8-20 (1968). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Keywords:recursion theory, constructive mathematics PDFBibTeX XMLCite \textit{G. V. Davdov}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 8, 8--20 (1968; Zbl 0172.29802) Full Text: EuDML