>> Google Books
タイトル、所在を表示します

Unsolvable classes of quantificational formulas

フォーマット:
図書
責任表示:
Harry R. Lewis
言語:
英語
出版情報:
Reading, Mass. : Addison-Wesley Pub. Co., 1979
形態:
xv, 198 p. ; 24 cm
著者名:
Lewis, Harry R. <DA0259615X>  
書誌ID:
BA04350959
ISBN:
9780201040692 [0201040697]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability

Downey, R. G. (Rod G.), Greenberg, Noam, 1974-

Princeton University Press
7 図書 Degrees of unsolvability

Sacks, Gerald E., 1933-

Princeton University Press
2 図書 The decision problem : solvable classes of quantificational formulas

Dreben, Burton, Goldfarb, Warren D.

Addison-Wesley, Advanced Book Program
8 図書 Degrees of unsolvability : structure and theory

Epstein, Richard L., 1947-

Springer-Verlag
3 図書 Computability & unsolvability

Davis, Martin, 1928-

Dover
9 図書 Combinatorial matrix classes

Brualdi, Richard A.

Cambridge University Press
4 図書 Computability, enumerability, unsolvability : directions in recursion theory

Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society

Cambridge University Press
10 図書 The theory of computability : programs, machines, effectiveness and feasibility

Sommerhalder, R., Van Westrhenen, S. C

Addison-Wesley Pub. Co.
5 図書 The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin, 1928-

Raven Press
11 図書 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, R. I. (Robert Irving), 1940-

Springer-Verlag
6 図書 Degrees of unsolvability

Sacks, Gerald E., 1933-

Princeton University Press
12 図書 Groups of homotopy classes : (Rank formulas and homotopy-commutativity)

Arkowitz, M., Curjel, C. R.

Springer Verlag