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

Solvable cases of the decision problem

フォーマット:
図書
責任表示:
by W. Ackermann
言語:
英語
出版情報:
Amsterdam : North-Holland, c1954
形態:
viii, 114 p. ; 22 cm
著者名:
Ackermann, Wilhelm, 1896- <DA02521718>  
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
書誌ID:
BA25985289
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften : Neue Folge

Ackermann, Wilhelm, 1896-, Scholz, Heinrich, 1884-1956

S. Hirzel
7 図書 Allgemeine Logik und Erkenntnistheorie

Wundt, Wilhelm Max, 1832-1920

F. Enke
2 図書 Grundzüge der theoretischen Logik

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-

Springer
8 図書 Creative design decisions : a systematic approach to problem solving in architecture

Kirk, Stephen J., Spreckelmeyer, Kent F., 1950-

Van Nostrand Reinhold
3 図書 The decision problem : solvable classes of quantificational formulas

Dreben, Burton, Goldfarb, Warren D.

Addison-Wesley, Advanced Book Program
9 図書 Grundzüge der Logik

Essler, Wilhelm Karl, 1940-, Brendel, Elke, Martínez Cruzado, Rosa Fernanda, 1952-

V. Klostermann
4 図書 Problems in logic

Patterson, Charles Henry

Macmillan
10 図書 Problem solvers

Allen and Unwin
5 図書 Problems of analysis : philosophical essays

Black, Max, 1909-

Routledge & K. Paul
11 図書 記号論理学の基礎

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-, 伊藤, 誠

大阪教育図書
6 図書 Erkenntnisslehre

Wundt, Wilhelm Max, 1832-1920

F. Enke
12 図書 記号論理學の基礎

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-, 伊藤, 誠

広島大学工学部数学教室