Blank Cover Image
所蔵情報QRコード

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe / Surányi, János, 1918-

資料種別:
図書
出版情報:
Budapest : Verlag der Ungarischen Akademie der Wissenschaften, 1959
形態:
215 p ; 25 cm
著者名:
Surányi, János, 1918- <DA11902563>  
書誌ID:
BA4014990X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Prädikatenkalkül der ersten Stufe

Asser, Günter

Harri Deutsch
7 図書 Non-standard analysis

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
2 図書 Recursive function theory and logic

Yasuhara, Ann

Academic Press
8 図書 Introductory real analysis

Munroe, M. Evans (Marshall Evans), 1918-

Addison-Wesley Pub. Co
3 図書 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Logic Colloquium, Crossley, John N., 1937-, Dummett, Michael A. E., 1925-

North-Holland
9 図書 Recursive macroeconomic theory (: hardcover)

Ljungqvist, Lars, Sargent, Thomas J.

MIT Press
4 電子ブック Computability and logic / ((ebook))

Boolos, George, Burgess, John P., Jeffrey, Richard C.
10 図書 Theory of computation

Brainerd, Walter S., Landweber, Lawrence H.

Wiley
5 図書 Topics in the theory of numbers

Erdős, Paul, 1913-1996, Surányi, János, 1918-, Guiduli, Barry

Springer
11 図書 An introduction to the general theory of algorithms (: pbk)

Machtey, Michael, Young, Paul, 1936-

North-Holland
6 図書 Non-standard analysis

Robinson, Abraham, 1918-1974

Princeton University Press
12 図書 Robot dynamics algorithms

Featherstone, Roy

Kluwer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12