Blank Cover Image
タイトル、所在を表示します

An examination of a decision procedure

フォーマット:
図書
責任表示:
by Francis C. Oglesby
言語:
英語
出版情報:
Providence : American Mathematical Society, 1962
形態:
148 p. ; 26 cm
著者名:
Oglesby, Francis C.  
シリーズ名:
Memoirs of the American Mathematical Society ; no. 44 <BA00035927>
書誌ID:
BA36749244
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Completeness, compactness, and undecidability : an introduction to mathematical logic

Manaster, Alfred B., 1938-

Prentice-Hall
7 図書 The elements of mathematical logic

Rosenbloom, Paul C.

Dover Pub.
2 図書 On group-theoretic decision problems and their classification

Miller, C. F. (Charles F.), 1941-

Princeton University Press, University of Tokyo Press
8 図書 Computability and logic

Boolos, George, Jeffrey, Richard C.

Cambridge University Press
3 図書 The decision problem : solvable classes of quantificational formulas

Dreben, Burton, Goldfarb, Warren D.

Addison-Wesley, Advanced Book Program
9 図書 Process algebra

Weijland, W. P., Baeten, J. C. M.

Cambridge University Press
4 図書 Morality, decision, and social organization : toward a logic of ethics

Menger, Karl, 1902-

D. Reidel Pub. Co.
10 図書 Postmortem examination : specific methods and procedures

Baker, Roger Denio

Saunders
5 図書 Logical number theory

Smoryński, C.

Springer-Verlag
11 図書 Two papers on the predicate calculus

Kleene, Stephen Cole, 1909-

American Mathematical Society
6 図書 The logical systems of Lesniewski

Luschei, Eugene C.

North-Holland
12 図書 Büchi's monadic second order successor arithmetic

Siefkes, Dirk

Springer-Verlag