The decision problem for logic of predicates and operations", Algebra and Logic 8 (1969)

by Y Gurevich
Venue:284{308 of Russian original
Add To MetaCart
Results 1 - 1 of 1

On the Classical Decision Problem

by Yuri Gurevich - Perspectives in Mathematical Logic , 1993
"... this paper. In particular, their comments inspired and gave arguments for the discussion on the value of the classical decision problem after Church's and Turing's results. References ..."
Abstract - Cited by 31 (0 self) - Add to MetaCart
this paper. In particular, their comments inspired and gave arguments for the discussion on the value of the classical decision problem after Church's and Turing's results. References